@inproceedings{OuaknineWorrell:MTL:LICS:2005,
    Author = {{Ouaknine}, J. and {Worrell}, J.},
    BookTitle = {20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)},
    File = {lmcs (0) (0) - a - a - i.pdf},
    ISSN = {1043-6871},
    Keywords = {temporal logic;decidability;finite automata;decidability;metric temporal logic;satisfiability problem;model-checking problem;Alur-Dill timed automaton;Logic;Real time systems;Safety;Turing machines;Laboratories;Mathematics;Automata;Abstracts;Timing;Constraint theory},
    Month = {June},
    Pages = {188--197},
    Title = {On the decidability of metric temporal logic},
    Year = {2005},
    bdsk-url-1 = {https://doi.org/10.1109/LICS.2005.33},
    date-added = {2019-06-19 11:36:43 +0200},
    date-modified = {2019-06-19 11:37:34 +0200},
    file-2 = {lics05 (0) (0) - a - a - i.pdf},
    doi = {10.1109/LICS.2005.33}
}

@inproceedings{OuaknineWorrell:MTL:LICS:2005, Author = {{Ouaknine}, J. and {Worrell}, J.}, BookTitle = {20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)}, File = {lmcs (0) (0) - a - a - i.pdf}, ISSN = {1043-6871}, Keywords = {temporal logic;decidability;finite automata;decidability;metric temporal logic;satisfiability problem;model-checking problem;Alur-Dill timed automaton;Logic;Real time systems;Safety;Turing machines;Laboratories;Mathematics;Automata;Abstracts;Timing;Constraint theory}, Month = {June}, Pages = {188--197}, Title = {On the decidability of metric temporal logic}, Year = {2005}, bdsk-url-1 = {https://doi.org/10.1109/LICS.2005.33}, date-added = {2019-06-19 11:36:43 +0200}, date-modified = {2019-06-19 11:37:34 +0200}, file-2 = {lics05 (0) (0) - a - a - i.pdf}, doi = {10.1109/LICS.2005.33} }