Pei He, Lishan Kang, Qiongzhang Li. Model for Parallel Verification of Programs. In Wenying Feng, Feng Gao, editors, Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2007, July 30 - August 1, 2007, Qingdao, China. pages 623-628, IEEE Computer Society, 2007. [doi]
Abstract is missing.