 |
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="Baier-Bertrand-Bouyer-Brihaye-Grosser/07" |
|
Probabilistic and topological semantics for timed automata
Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer
Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)
Lecture Notes in Computer Science
4855
, 2007, pp. 179-191
| Editors | V. Arvind, Sanjiva Prasad | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg | |
| URL: |
http://dx.doi.org/10.1007/978-3-540-77050-3_15 | |
|
|
|
|