Symbolic Model Checking for Real-time Systems (1992)

Cached

Download Links

by Thomas A. Henzinger , Xavier Nicollin , Joseph Sifakis , Sergio Yovine
Venue:Information and Computation
Citations:472 - 46 self