Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Citkey="Alur-Courcoubetis-Henzinger/94"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

The observational power of clocks Publikation auswählen
Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger

Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)
Lecture Notes in Computer Science 836 , 1994, pp. 162-177

Editors  Bengt Jonsson, Joachim Parrow
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest