Parallel scheduling strategy for program verification
XIAO Zeng-liang 1,HE Pei 1,KANG Li-shan 2
Computer Engineering and Applications . 2009, (11): 39 -41 .  DOI: 10.3778/j.issn.1002-8331.2009.11.012