Timing Verification by Successive Approximation - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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.

The following publications are possibly variants of this publication:

Timing Verification by Successive ApproximationRajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis. iandc, 118(1):142-157, April 1995.

runs on WebDSL