ISCAS OpenIR  > 基础软件与系统重点实验室
improved bounded model checking for the universal fragment of ctl
Xu Liang; Chen Wei; Xu Yan-Yan; Zhang Wen-Hui
2009
SourceJOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN1000-9000
Volume24Issue:1Pages:96-109
KeywordSoftware Verification Model Checking Algorithm Bounded Model Checking Actl Sat
DepartmentXu, 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.
SubjectComputer Science ; Software Engineering ; Hardware & Architecture ; Computer Science
WOS IDWOS:000264619600011
Citation statistics
Content Type期刊论文
URIhttp://ir.iscas.ac.cn/handle/311060/7698
Collection基础软件与系统重点实验室
Recommended Citation
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.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Xu Liang]'s Articles
[Chen Wei]'s Articles
[Xu Yan-Yan]'s Articles
Baidu academic
Similar articles in Baidu academic
[Xu Liang]'s Articles
[Chen Wei]'s Articles
[Xu Yan-Yan]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Xu Liang]'s Articles
[Chen Wei]'s Articles
[Xu Yan-Yan]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.