%0 Conference Paper %1 conf/iceccs/LeiT02 %A Lei, Yu %A Tai, Kuo-Chung %B ICECCS %D 2002 %I IEEE Computer Society %K %P 35- %T Efficient Reachability Testing of Asynchronous Message-Passing Programs. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2002.html#LeiT02 %@ 0-7695-1757-9

@inproceedings{conf/iceccs/LeiT02, added-at = {2023-12-13T07:06:57.000+0100}, author = {Lei, Yu and Tai, Kuo-Chung}, biburl = {https://www.bibsonomy.org/bibtex/2c8d667eb34dbe07027f14746d084ecaf/admin}, booktitle = {ICECCS}, crossref = {conf/iceccs/2002}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2002.1181496}, interhash = {b54c91650dc8edd2d4269b9ab58dd3f4}, intrahash = {c8d667eb34dbe07027f14746d084ecaf}, isbn = {0-7695-1757-9}, keywords = {}, pages = {35-}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T07:06:57.000+0100}, title = {Efficient Reachability Testing of Asynchronous Message-Passing Programs.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2002.html#LeiT02}, year = 2002 }