Skip to main content

Model Checking Succinct and Parametric One−Counter Automata

Stefan Göller‚ Christoph Haase‚ Joël Ouaknine and James Worrell

Book Title
Automata‚ Languages and Programming‚ ICALP
Pages
575–586
Publisher
Springer
Series
Lect. Notes Comp. Sci.
Volume
6199
Year
2010