Symbolic Model Checking for Real-time Systems (1992)

by Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine
Venue:Information and Computation