作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
收缩候选回溯集的有状态动态偏序归约方法
赵璐,张健沛,杨静
Stateful Dynamic Partial-order Reduction Method of Shrinking Candidate Backtrack Set
ZHAO Lu,ZHANG Jianpei,YANG Jing
计算机工程 . 2015, (5): 70 -76 .  DOI: 10.3969/j.issn.1000-3428.2015.05.012