Symbolic model checking for real-time systems. (1994)

by T A Henzinger
Venue:Information and computation,