Institutional Repository
| improved bounded model checking for the universal fragment of ctl | |
| Xu Liang; Chen Wei; Xu Yan-Yan; Zhang Wen-Hui | |
| 2009 | |
| Source | JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
 |
| ISSN | 1000-9000 |
| Volume | 24Issue:1Pages:96-109 |
| Keyword | Software Verification Model Checking Algorithm Bounded Model Checking Actl Sat |
| Department | 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. |
| Subject | Computer Science ; Software Engineering ; Hardware & Architecture ; Computer Science |
| WOS ID | WOS:000264619600011 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://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. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment