Lulu Zhu, Weiqin Tong, Bin Cheng. CPN Tools Application in Verification of Parallel Programs. In Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu, editors, Information Computing and Applications - International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I. Volume 105 of Communications in Computer and Information Science, pages 137-143, Springer, 2010. [doi]
@inproceedings{ZhuTC10, title = {CPN Tools Application in Verification of Parallel Programs}, author = {Lulu Zhu and Weiqin Tong and Bin Cheng}, year = {2010}, doi = {10.1007/978-3-642-16336-4_19}, url = {http://dx.doi.org/10.1007/978-3-642-16336-4_19}, tags = {program verification, parallel programming}, researchr = {https://researchr.org/publication/ZhuTC10}, cites = {0}, citedby = {0}, pages = {137-143}, booktitle = {Information Computing and Applications - International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I}, editor = {Rongbo Zhu and Yanchun Zhang and Baoxiang Liu and Chunfeng Liu}, volume = {105}, series = {Communications in Computer and Information Science}, publisher = {Springer}, isbn = {978-3-642-16335-7}, }