Peter Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen. Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. 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 73-87, Springer, 2009. [doi]
Abstract is missing.