Timing Verification by Successive Approximation (1995)

Cached

Download Links

by R. Alur , A. Itai , R. P. Kurshan , M. Yannakakis
Venue:INFORMATION AND COMPUTATION
Citations:44 - 11 self