@article{lmcs:5019,
    Author = {Lechner, Antonia and Mayr, Richard and Ouaknine, Jo{\"e}l and Pouly, Amaury and Worrell, James},
    File = {1606.02643 (0) - a - a - z.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Logic in Computer Science ; Computer Science - Formal Languages and Automata Theory},
    Month = {December},
    Title = {{Model Checking Flat Freeze LTL on One-Counter Automata}},
    URL = {https://lmcs.episciences.org/5019},
    Volume = {{Volume 14, Issue 4}},
    Year = {2018},
    bdsk-url-1 = {https://lmcs.episciences.org/5019},
    bdsk-url-2 = {https://doi.org/10.23638/LMCS-14(4:20)2018},
    date-added = {2019-01-21 15:21:56 +0100},
    date-modified = {2019-01-21 15:21:56 +0100},
    doi = {10.23638/LMCS-14(4:20)2018}
}

@article{lmcs:5019, Author = {Lechner, Antonia and Mayr, Richard and Ouaknine, Jo{\"e}l and Pouly, Amaury and Worrell, James}, File = {1606.02643 (0) - a - a - z.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Logic in Computer Science ; Computer Science - Formal Languages and Automata Theory}, Month = {December}, Title = {{Model Checking Flat Freeze LTL on One-Counter Automata}}, URL = {https://lmcs.episciences.org/5019}, Volume = {{Volume 14, Issue 4}}, Year = {2018}, bdsk-url-1 = {https://lmcs.episciences.org/5019}, bdsk-url-2 = {https://doi.org/10.23638/LMCS-14(4:20)2018}, date-added = {2019-01-21 15:21:56 +0100}, date-modified = {2019-01-21 15:21:56 +0100}, doi = {10.23638/LMCS-14(4:20)2018} }