Branching-time Model Checking of One-counter Processes.

Stefan Gller, Markus Lohrey

Browse the full STACS paper archive.