Model Checking Succinct and Parametric One−Counter Automata
Stefan Göller‚ Christoph Haase‚ Joel Ouaknine and James Worrell
Details
| Book Title |
Proceedings of the 37th International Colloquium on Automata‚ Languages and Programming (ICALP'10)‚ Track B (Part II) |
| Copyright |
Springer |
| Editor |
Samson Abramsky and Cyril Gavoille and Claude Kirchner and Friedhelm Meyer auf der Heide and Paul G. Spirakis |
| Location |
Bordeaux‚ France |
| Month |
July |
| Pages |
575–586 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
6199 |
| Year |
2010 |
Links
DOI (10.1007/978-3-642-14162-1_48)
Related pages
|
People |