Model Checking Flat Freeze LTL on One-Counter Automata.

Antonia Lechner, Richard Mayr, Jol Ouaknine, Amaury Pouly, James Worrell

Browse the full CONCUR paper archive.