作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
改进的程序时序安全属性模型检测技术
张志, 张林, 曾庆凯
Improved Model Checking Technology for Program Temporal Safety Properties
ZHANG Zhi, ZHANG Lin, CENG Qiang-Kai
计算机工程 . 2011, (7): 28 -30 .  DOI: 10.3969/j.issn.1000-3428.2011.07.010