XIA Wei
College of Computer, National University of Defense Technology, Changsha 410073, China;Department of Computer Science, Xian Hi-Tech Institute, Xian 710025, ChinaYAO Yi-Ping
College of Computer, National University of Defense Technology, Changsha 410073, ChinaMU Xiao-Dong
Department of Computer Science, Xian Hi-Tech Institute, Xian 710025, China夏薇,姚益平,慕晓冬.面向事件图和事件时态逻辑的模型检验方法.软件学报,2013,24(3):421-432
Copy