Search
E-mail
RSS

Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
Program Conditioning to Reduce State Space Explosion for Software Model Check
XIAO Jianyu; ZHANG Deyun; CHEN Haiquan; DONG Hao
Computer Engineering . 2006, (19): 51 -53 .  DOI: 10.3969/j.issn.1000-3428.2006.19.019

copyright@Editorial Department of Computer Engineering
Address：No. 63, Chengliu Road, Shanghai, 201808
Tel: 021-67092217　
E-mail：ecice06@ecict.com.cn
Powered by Beijing Magtech Co. Ltd,.