 |
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="Cristau/09" |
|
Automata and temporal logic over arbitrary linear time
Julien Cristau
Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)
Leibniz International Proceedings in Informatics (LIPIcs)
4
, 2009, pp. 133-144
| Editors | Ravi Kannan, K. Narayan Kumar | |
| Publisher: | Dagstuhl Publishing, Saarbrücken/Wadern | |
| URL: |
http://drops.dagstuhl.de/opus/volltexte/2009/2313 | |
|
|
|
|