Branching-Time Model Checking of Parametric One-Counter Automata.

Stefan Gller, Christoph Haase, Jol Ouaknine, James Worrell

Browse the full FOSSACS paper archive.