Reachability in succinct and parametric one-counter automata (2009)

by C Haase, S Kreutzer, J Ouaknine, J Worrell
Venue:In Proc. CONCUR’09, LNCS 5710