@article{OuaknineWorrel:LMCS:2007,
    Author = {Ouaknine, Joel and Worrell, James},
    File = {On the decidability and complexity of Metric Temporal Logic over finite words - cs\_0702120 - a - b.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Logic in Computer Science ; Computer Science - Computational Complexity ; F.4.1},
    Month = {February},
    Title = {{On the decidability and complexity of Metric Temporal Logic over finite words}},
    URL = {https://lmcs.episciences.org/2230},
    Volume = {{Volume 3, Issue 1}},
    Year = {2007},
    bdsk-url-1 = {https://lmcs.episciences.org/2230},
    bdsk-url-2 = {https://doi.org/10.2168/LMCS-3(1:8)2007},
    date-added = {2020-07-06 13:05:32 +0200},
    date-modified = {2020-07-06 13:05:46 +0200},
    doi = {10.2168/LMCS-3(1:8)2007}
}

@article{OuaknineWorrel:LMCS:2007, Author = {Ouaknine, Joel and Worrell, James}, File = {On the decidability and complexity of Metric Temporal Logic over finite words - cs_0702120 - a - b.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Logic in Computer Science ; Computer Science - Computational Complexity ; F.4.1}, Month = {February}, Title = {{On the decidability and complexity of Metric Temporal Logic over finite words}}, URL = {https://lmcs.episciences.org/2230}, Volume = {{Volume 3, Issue 1}}, Year = {2007}, bdsk-url-1 = {https://lmcs.episciences.org/2230}, bdsk-url-2 = {https://doi.org/10.2168/LMCS-3(1:8)2007}, date-added = {2020-07-06 13:05:32 +0200}, date-modified = {2020-07-06 13:05:46 +0200}, doi = {10.2168/LMCS-3(1:8)2007} }