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]
Abstract is missing.