Institutional Repository
| 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. |
| 条目包含的文件 | 条目无相关文件。 | |||||
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论