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

Lehrstuhl für Effiziente Algorithmen

 TUM-Logo

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen Ausgewählte Publikationen [3] Hilfe Hilfe
 
Suche: Citkey="Chaochen-Hansen-Sestoft/93"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Decidability and undecidability results for duration calculus Publikation auswählen
Zhou Chaochen, Michael R. Hansen, Peter Sestoft

Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93 (Würzburg, Germany, February 25-27, 1993)
Lecture Notes in Computer Science 665 , 1993, pp. 58-68

Editors  P. Enjalbert, A. Finkel, K.W. Wagner
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest
Organization:  GI, afcet
 
URL:   http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=665&spage=58