Laurent Doyen, Gilles Geeraerts, Jean-François Raskin, Julien Reichert. Realizability of Real-Time Logics. In Joël Ouaknine, Frits W. Vaandrager, editors, Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. Volume 5813 of Lecture Notes in Computer Science, pages 133-148, Springer, 2009. [doi]
Abstract is missing.