@article{lmcs:5795,
    Author = {Bollig, Benedikt and Quaas, Karin and Sangnier, Arnaud},
    File = {The Complexity of Flat Freeze LTL - 1609.06124 - a - r.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Formal Languages and Automata Theory ; Computer Science - Logic in Computer Science},
    Month = {September},
    Title = {{The Complexity of Flat Freeze LTL}},
    URL = {https://lmcs.episciences.org/5795},
    Volume = {{Volume 15, Issue 3}},
    Year = {2019},
    bdsk-url-1 = {https://lmcs.episciences.org/5795},
    bdsk-url-2 = {https://doi.org/10.23638/LMCS-15(3:33)2019},
    date-added = {2020-07-08 14:46:31 +0200},
    date-modified = {2020-07-08 14:46:31 +0200},
    doi = {10.23638/LMCS-15(3:33)2019}
}

@article{lmcs:5795, Author = {Bollig, Benedikt and Quaas, Karin and Sangnier, Arnaud}, File = {The Complexity of Flat Freeze LTL - 1609.06124 - a - r.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Formal Languages and Automata Theory ; Computer Science - Logic in Computer Science}, Month = {September}, Title = {{The Complexity of Flat Freeze LTL}}, URL = {https://lmcs.episciences.org/5795}, Volume = {{Volume 15, Issue 3}}, Year = {2019}, bdsk-url-1 = {https://lmcs.episciences.org/5795}, bdsk-url-2 = {https://doi.org/10.23638/LMCS-15(3:33)2019}, date-added = {2020-07-08 14:46:31 +0200}, date-modified = {2020-07-08 14:46:31 +0200}, doi = {10.23638/LMCS-15(3:33)2019} }