Farn Wang, Geng-Dian Huang, Fang Yu. Symbolic Simulation of Real-Time Concurrent Systems. In Jing Chen, Seongsoo Hong, editors, Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers. Volume 2968 of Lecture Notes in Computer Science, pages 595-617, Springer, 2003. [doi]
Abstract is missing.