并行软件模型检测

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

并行软件模型检测

邝宏斌;罗贵明;

Parallel Software Model Checking

KUANG Hong-bin; LUO Gui-ming;

计算机工程 . 2008, (19): 23 -25,2 . DOI: 10.3969/j.issn.1000-3428.2008.19.009