improved bounded model checking for the universal fragment of ctl

	improved bounded model checking for the universal fragment of ctl
	Xu Liang; Chen Wei; Xu Yan-Yan; Zhang Wen-Hui
	2009
发表期刊	JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN	1000-9000
卷号	24 期号:1 页码:96-109
关键词	Software Verification Model Checking Algorithm Bounded Model Checking Actl Sat
部门归属	Xu, Liang; Chen, Wei; Xu, Yan-Yan; Zhang, Wen-Hui Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100190, Peoples R China. Xu, Liang; Chen, Wei; Xu, Yan-Yan Chinese Acad Sci, Grad Univ, Beijing 100049, Peoples R China.
学科领域	Computer Science ; Software Engineering ; Hardware & Architecture ; Computer Science
WOS记录号	WOS:000264619600011
引用统计
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/7698
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Xu Liang,Chen Wei,Xu Yan-Yan,et al. improved bounded model checking for the universal fragment of ctl[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2009,24(1):96-109.
APA	Xu Liang,Chen Wei,Xu Yan-Yan,&Zhang Wen-Hui.(2009).improved bounded model checking for the universal fragment of ctl.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,24(1),96-109.
MLA	Xu Liang,et al."improved bounded model checking for the universal fragment of ctl".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 24.1(2009):96-109.