Branching-Time Model Checking of Parametric One-Counter Automata

Stefan Göller, Christoph Haase, Joël Ouaknine, James Worrell
January 2012
PDF DOI
Type
Conference paper
Publication
Foundations of Software Science and Computational Structures, FOSSACS