一种Ada并发程序的模型检测方法
黄超, 江国华
A Model Checking Method for Ada Concurrent Program
HUANG Chao, JIANG Guo-Hua
. 2012, (3): 44 . 

ISSN 1007－7820
CN 61－1291/TN
主管单位：中华人民共和国教育部
主办单位：西安电子科技大学
地址： 西安市太白南路2号 西安电子科技大学《电子科技》编辑部
邮政编码：710071
电话：029-88202440
传真：029-88202440

陕ICP备10006596号     版权所有 © 2018 西安电子科技大学《电子科技》编辑部