%0 Conference Paper %1 conf/forte/KimSCK99 %A Kim, Myungchul %A Shin, Jaehwi %A Chanson, Samuel T. %A Kang, Sungwon %B FORTE %D 1999 %E Wu, Jianping %E Chanson, Samuel T. %E Gao, Qiang %I Kluwer %K dblp %P 337-356 %T An enhanced model for testing asynchronous communicating systems. %U http://dblp.uni-trier.de/db/conf/forte/forte1999.html#KimSCK99 %V 156 %@ 0-7923-8646-9

@inproceedings{conf/forte/KimSCK99, added-at = {2002-01-03T00:00:00.000+0100}, author = {Kim, Myungchul and Shin, Jaehwi and Chanson, Samuel T. and Kang, Sungwon}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29b18b5236de2f5cdc24f326d38e4169a/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1999}, editor = {Wu, Jianping and Chanson, Samuel T. and Gao, Qiang}, interhash = {7603685769cd2d7bbc027967c8caab4f}, intrahash = {9b18b5236de2f5cdc24f326d38e4169a}, isbn = {0-7923-8646-9}, keywords = {dblp}, pages = {337-356}, publisher = {Kluwer}, series = {IFIP Conference Proceedings}, timestamp = {2016-02-02T11:02:35.000+0100}, title = {An enhanced model for testing asynchronous communicating systems.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1999.html#KimSCK99}, volume = 156, year = 1999 }