Branching-Time Model Checking of Parametric One-Counter Automata

Publication
Foundations of Software Science and Computational Structures, FOSSACS