Making CEGAR More Efficient in Software Model Checking
- 期刊名称IEEE Transactions on Software Engineering
- 作者Tian, Cong; Duan, Zhenhua; Duan, Zhao
- 卷第40卷
- 期第12期
- 印刷ISSN0098-5589
- 电子ISSN1939-3520
- 文件大小2603.55KB
- 发表时间2014-12-1
- DOI10.1109/tse.2014.2357442
- 页码1206-1223
同期刊推荐
Evolution of tree nutritionRaven, J. A.; Andrews, M. · Tree Physiology · 2010
Phosphorus nutrition of mycorrhizal treesPLASSARD, C.; DELL, B. · Tree Physiology · 2010
How significant is nocturnal sap flow?Forster, M. A. · Tree Physiology · 2014
Phloem transport in treesRyan, M. G.; Asao, S. · Tree Physiology · 2014
Salinity and citricultureMaas, E. V. · Tree Physiology · 1993
Nutrient retranslocation in temperate conifersNambiar, E. K. S.; Fife, D. N. · Tree Physiology · 1991
Commercial Forest Plantations on Saline LandsMunns, R. · Tree Physiology · 2001
Nutrition of mangrovesReef, R.; Feller, I. C.; Lovelock, C. E. · Tree Physiology · 2010