 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Citkey="Aceto-Laroussinie/99" |
|
Is your model checker on time? On the complexity of model checking for timed modal logics
Luca Aceto, François Laroussinie
Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Porȩba, Poland, September 6-10, 1999)
Lecture Notes in Computer Science
1672
, 1999, pp. 125-136
| Editors | Mirosƚaw Kutyƚowski, Leszek Pacholski, Tomasz Wierzbicki | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo | |
|
|
|
|