%0 Conference Paper %1 conf/compsac/YuangK89 %A Yuang, Maria C. %A Kershenbaum, Aaron %B COMPSAC %D 1989 %I IEEE %K dblp %P 184-192 %T Parallel protocol verification using the two-phase algorithm. %U http://dblp.uni-trier.de/db/conf/compsac/compsac1989.html#YuangK89 %@ 0-8186-1964-3

@inproceedings{conf/compsac/YuangK89, added-at = {2017-05-21T00:00:00.000+0200}, author = {Yuang, Maria C. and Kershenbaum, Aaron}, biburl = {https://www.bibsonomy.org/bibtex/2fd5cc14f11de40ce1cb0f59dea7788ac/dblp}, booktitle = {COMPSAC}, crossref = {conf/compsac/1989}, ee = {https://doi.org/10.1109/CMPSAC.1989.65080}, interhash = {bc5a8ec494d3880f8849abf031f09e2d}, intrahash = {fd5cc14f11de40ce1cb0f59dea7788ac}, isbn = {0-8186-1964-3}, keywords = {dblp}, pages = {184-192}, publisher = {IEEE}, timestamp = {2019-10-17T20:14:21.000+0200}, title = {Parallel protocol verification using the two-phase algorithm.}, url = {http://dblp.uni-trier.de/db/conf/compsac/compsac1989.html#YuangK89}, year = 1989 }