电子学报
 首页  |  期刊介绍  |  编 委 会  |  投稿指南  |  期刊订阅  |  综合信息  |  联系我们  |  致谢审稿人 | CJE
电子学报  2002, Vol. 30 Issue (S1): 1907-1912    DOI:
综述评论 最新目录| 下期目录| 过刊浏览| 高级检索 |
模型检测:理论、方法与应用
林惠民, 张文辉
中国科学院软件研究所, 北京, 100080
Model Checking: Theories, Techniques and Applications
LIN Hui-min, ZHANG Wen-hui
Institute of Software, Chinese Academy of Sciences, Beijing 100080, China

版权所有 © 2012 《电子学报》编辑部
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn
京ICP备12041980号-1