Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

PDF-Datei BibTeX

@inproceedings {broyGrosuKleinFME97,
    author = {M. Broy and R. Grosu and C. Klein},
    title = {{Reconciling Real-Time with Asynchronous Message Passing}},
    booktitle = {FME '97, 4th International Symposium of Formal Methods Europe, Graz, Austria, Lecture Notes in Computer Science 1313},
    year = {1997},
    editor = {J. Fitzgerald and C.B. Jones and P. Lucas},
    publisher = {Springer}
HTML Version

(c) 1999-2004 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact