%0 Conference Paper %1 conf/rtcsa/WangHY03 %A Wang, Farn %A Huang, Geng-Dian %A Yu, Fang %B RTCSA %D 2003 %E Chen, Jing %E Hong, Seongsoo %I Springer %K dblp %P 595-617 %T Symbolic Simulation of Real-Time Concurrent Systems. %U http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2003.html#WangHY03 %V 2968 %@ 3-540-21974-9

@inproceedings{conf/rtcsa/WangHY03, added-at = {2021-12-30T00:00:00.000+0100}, author = {Wang, Farn and Huang, Geng-Dian and Yu, Fang}, biburl = {https://www.bibsonomy.org/bibtex/2b31363ecad329b1a1ffa17e3e6c4e97c/dblp}, booktitle = {RTCSA}, crossref = {conf/rtcsa/2003}, editor = {Chen, Jing and Hong, Seongsoo}, ee = {https://doi.org/10.1007/978-3-540-24686-2_37}, interhash = {08339806bfdc3fac8a1b79a17877cdad}, intrahash = {b31363ecad329b1a1ffa17e3e6c4e97c}, isbn = {3-540-21974-9}, keywords = {dblp}, pages = {595-617}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:23:26.000+0200}, title = {Symbolic Simulation of Real-Time Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2003.html#WangHY03}, volume = 2968, year = 2003 }