Symbolic Simulation of Real-Time Concurrent Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Farn Wang' in GoogleThis author has not been identified. Look up 'Geng-Dian Huang' in GoogleThis author has not been identified. Look up 'Fang Yu' in Google

runs on WebDSL