On-the- symbolic model checking for real-time systems (1997)

by A Bouajjani, S Tripakis, S Yovine
Venue:In Proc. of the 18th IEEE Real-Time Systems Symposium