Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis. Generating Path Conditions for Timed Systems. In Judi Romijn, Graeme Smith, Jaco van de Pol, editors, Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings. Volume 3771 of Lecture Notes in Computer Science, pages 5-19, Springer, 2005. [doi]
Abstract is missing.