Kim Guldstrand Larsen, Paul Pettersson, Wang Yi. Model-Checking for Real-Time Systems. In Horst Reichel, editor, Fundamentals of Computation Theory, 10th International Symposium, FCT 95, Dresden, Germany, August 22-25, 1995, Proceedings. Volume 965 of Lecture Notes in Computer Science, pages 62-88, Springer, 1995.
Abstract is missing.