王云云,韩文廷,周军蕊, 陈俊仕,姚文军,安虹,利用分组算法实现高效的并行程序模型检测,小型微型计算机系统,2016,37(9):1898-1903

分类与摘要

该条目来自 ACSA 论文清单，可继续补充摘要、分类证据与全文解读。

引用

王云云,韩文廷,周军蕊, 陈俊仕,姚文军,安虹,利用分组算法实现高效的并行程序模型检测,小型微型计算机系统,2016,37(9):1898-1903

@article{acsa2016_172,
  title = {王云云,韩文廷,周军蕊, 陈俊仕,姚文军,安虹,利用分组算法实现高效的并行程序模型检测,小型微型计算机系统,2016,37(9):1898-1903},
  year = {2016},
  doi = {}
}