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]
@inproceedings{HeKXX08, title = {A Scheduling Strategy for Parallel Proof Checking and Verification}, author = {Pei He and Lishan Kang and Zengliang Xiao and Zhuoyu Xiao}, year = {2008}, doi = {10.1109/ICNSC.2008.4525520}, url = {http://dx.doi.org/10.1109/ICNSC.2008.4525520}, researchr = {https://researchr.org/publication/HeKXX08}, cites = {0}, citedby = {0}, pages = {1823-1827}, booktitle = {Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2008, Hainan, China, 6-8 April 2008}, publisher = {IEEE}, }