Timing Verification by Successive Approximation (1995)

by R Alur, A Itai, R P Kurshan, M Yanakakis
Venue:Information and Computation