Proceedings Real-Time Systems Symposium
On-the-fly symbolic model checking for real-time systems
DOI Bookmark: 10.1109/REAL.1997.641266
Authors
A. Bouajjani, VERIMAG, Gieres, FranceS. Tripakis, VERIMAG, Gieres, France
S. Yovine, VERIMAG, Gieres, France