Symbolic model checking for real-time systems (1994)

by T A Henzinger, X Nicolin, J Sifakis, S Yovine
Venue:Information and Computation