Y. Tachi, Satoshi Yamane. Real-Time Symbolic Model Checking for Hard Real-Time Systems. In 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 99), 13-16 December 1999, Hong Kong, China. pages 496, IEEE Computer Society, 1999. [doi]
Abstract is missing.