TY  - RPRT
TI  - Model Checking Flat Freeze LTL on One-Counter Automata
AU  - Antonia Lechner
AU  - Richard Mayr
AU  - Joël Ouaknine
AU  - Amaury Pouly
AU  - James Worrell
PY  - 2018
DO  - 10.23638/lmcs-14(4:20)2018
UR  - https://arxiv.org/abs/1606.02643
ID  - 1606.02643
ER  -