%O BookSection 
%F bouyer:hal-01566439
%A Bouyer, P.
%A Laroussinie, F.
%A Markey, N.
%A Ouaknine, J.
%A Worrell, J.
%T {Timed temporal logics}
%B {Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday}
%V 10460
%P 211-230
%S Lecture Notes in Computer Science
%I {Springer}
%U https://hal.archives-ouvertes.fr/hal-01566439/file/kimfest2017-BLMOW.pdf
%U http://dx.doi.org/10.1007/978-3-319-65764-6\_11
%8 August
%D 2017