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]
@inproceedings{WangHY03:0,
title = {Symbolic Simulation of Real-Time Concurrent Systems},
author = {Farn Wang and Geng-Dian Huang and Fang Yu},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2968&spage=595},
researchr = {https://researchr.org/publication/WangHY03%3A0},
cites = {0},
citedby = {0},
pages = {595-617},
booktitle = {Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers},
editor = {Jing Chen and Seongsoo Hong},
volume = {2968},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-21974-9},
}