Pei He, Lishan Kang, Zengliang Xiao, Zhuoyu Xiao. A Scheduling Strategy for Parallel Proof Checking and Verification. In Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2008, Hainan, China, 6-8 April 2008. pages 1823-1827, IEEE, 2008. [doi]
Abstract is missing.