Model Checking Succinct and Parametric One−Counter Automata
Stefan Göller‚ Christoph Haase‚ Joel Ouaknine and James Worrell
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