Model Checking Succinct and Parametric One-Counter Automata

Stefan Göller, Christoph Haase, Joël Ouaknine, James Worrell
January 2010
PDF DOI
Type
Conference paper
Publication
Automata, Languages and Programming, ICALP