Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine. On-the-fly symbolic model checking for real-time systems. In Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS 97), December 3-5, 1997, San Francisco, CA, USA. pages 25, IEEE Computer Society, 1997. [doi]
Abstract is missing.