Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis. Timing Verification by Successive Approximation. In Gregor von Bochmann, David K. Probst, editors, Computer Aided Verification, Fourth International Workshop, CAV 92, Montreal, Canada, June 29 - July 1, 1992, Proceedings. Volume 663 of Lecture Notes in Computer Science, pages 137-150, Springer, 1992.
Abstract is missing.