@inproceedings{AkshayGastinJugeKrishna:LICS:2019,
    Author = {{Akshay}, S. and {Gastin}, P. and {Jug{\'e}}, V. and {Krishna}, S. N.},
    BookTitle = {Proc. of LICS'19},
    File = {Timed Systems through the Lens of Logic - 10.1109@LICS.2019.8785684 - a - a - y.pdf},
    Keywords = {Data structures;Timing;Automata;Clocks;Complexity theory;Analytical models;Heuristic algorithms;Timed systems;propositional dynamic logic;Logical definability;Efficient algorithms;graphs},
    Month = {June},
    Pages = {1--13},
    Title = {Timed Systems through the Lens of Logic},
    Year = {2019},
    bdsk-url-1 = {https://doi.org/10.1109/LICS.2019.8785684},
    date-added = {2019-08-16 16:15:57 +0200},
    date-modified = {2019-08-16 16:16:21 +0200},
    doi = {10.1109/LICS.2019.8785684}
}

@inproceedings{AkshayGastinJugeKrishna:LICS:2019, Author = {{Akshay}, S. and {Gastin}, P. and {Jug{\'e}}, V. and {Krishna}, S. N.}, BookTitle = {Proc. of LICS'19}, File = {Timed Systems through the Lens of Logic - 10.1109@LICS.2019.8785684 - a - a - y.pdf}, Keywords = {Data structures;Timing;Automata;Clocks;Complexity theory;Analytical models;Heuristic algorithms;Timed systems;propositional dynamic logic;Logical definability;Efficient algorithms;graphs}, Month = {June}, Pages = {1--13}, Title = {Timed Systems through the Lens of Logic}, Year = {2019}, bdsk-url-1 = {https://doi.org/10.1109/LICS.2019.8785684}, date-added = {2019-08-16 16:15:57 +0200}, date-modified = {2019-08-16 16:16:21 +0200}, doi = {10.1109/LICS.2019.8785684} }