%0 Conference Paper %1 conf/icpp/YangJ89 %A Yang, Sheausong %A Juang, Jie-Yong %B ICPP (2) %D 1989 %I Pennsylvania State University Press %K dblp %P 19-22 %T Message Flow Analysis and Run-Time Verification for Parallel Programs. %U http://dblp.uni-trier.de/db/conf/icpp/icpp1989-2.html#YangJ89

@inproceedings{conf/icpp/YangJ89, added-at = {2014-07-28T00:00:00.000+0200}, author = {Yang, Sheausong and Juang, Jie-Yong}, biburl = {https://www.bibsonomy.org/bibtex/2f1de067e70f6838093075278080c58bc/dblp}, booktitle = {ICPP (2)}, crossref = {conf/icpp/1989-2}, interhash = {cd67fffac327ba45024e599567ffa221}, intrahash = {f1de067e70f6838093075278080c58bc}, keywords = {dblp}, note = {0-271-00686-2}, pages = {19-22}, publisher = {Pennsylvania State University Press}, timestamp = {2015-06-18T13:51:05.000+0200}, title = {Message Flow Analysis and Run-Time Verification for Parallel Programs.}, url = {http://dblp.uni-trier.de/db/conf/icpp/icpp1989-2.html#YangJ89}, year = 1989 }