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

待补充

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

内容导读Reading note

分类与摘要Category & abstract

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

Metadata

title: 王云云,韩文廷,周军蕊, 陈俊仕,姚文军,安虹,利用分组算法实现高效的并行程序模型检测,小型微型计算机系统,2016,37(9):1898-1903
title_zh: 王云云,韩文廷,周军蕊, 陈俊仕,姚文军,安虹,利用分组算法实现高效的并行程序模型检测,小型微型计算机系统,2016,37(9):1898-1903
abstract: 待补充
abstract_zh: 待补充
keywords: 学位认定 C, CCF B
year: 2016
published_date: 待补充
online_date: 待补充
paper_type: Journal
publication_status: Published
volume: 待补充
issue: 待补充
pages: 待补充
article_number: 待补充
publisher: 待补充
doi: 待补充
research_area: 综合科研成果
tags: 学位认定 C, CCF B
category: 综合科研成果
summary: 该条目来自 ACSA 论文清单，可继续补充摘要、分类证据与全文解读。
authors: 待补充
corresponding_authors: 韩文廷
affiliations: 待补充
funding: 1

Research area

Citation

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

BibTeX

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