 |
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  [1]
|
Hilfe 
|
 |
|
| Suche: Citkey="Sankur-Bouyer-Markey/11" |
|
Shrinking timed automata
Ocan Sankur, Patricia Bouyer, Nicolas Markey
Proceedings of the 31st IARCS International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2011 (Mumbai, India, December 12-14, 2011)
Leibniz International Proceedings in Informatics (LIPIcs)
13
, 2011, pp. 90-102
| Editors | Supratik Chakraborty, Amit Kumar | |
| Publisher: | Dagstuhl Publishing, Saarbrücken/Wadern | |
| URL: |
http://drops.dagstuhl.de/opus/volltexte/2011/3362 | |
|
|
|
|