 |
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  [2]
|
Hilfe 
|
 |
|
| Suche: Author="Dhar, Amit Kumar" |
|
On the complexity of verifying regular properties on flat counter systems
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)
Lecture Notes in Computer Science
7966
, 2013, pp. 162-173
| Editors | Fedor, V. Fomin, Rūsiņs̑ Freivalds, Marta Kwiatkowska, David Peleg | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg | |
| URL: |
http://dx.doi.org/10.1007/978-3-642-39212-2_17 | |
|
|
|
|