Ouaknine, Joël Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;
Bouyer, P., Laroussinie, F., Markey, N., Ouaknine, J., & Worrell, J. (2017). Timed Temporal Logics. In L. Aceto, G. Bacci, G. Bacci, A. Ingólfsdóttir, A. Legay, & R. Mardare (Eds.), Models, Algorithms, Logics and Tools (pp. 211-230). Berlin: Springer. doi:10.1007/978-3-319-63121-9_11.