YANG Qi-Zhe
School of Software, Shanghai Jiaotong University, Shanghai 200240, ChinaLI Guo-Qiang
School of Software, Shanghai Jiaotong University, Shanghai 200240, ChinaNational Natural Science Foundation of China (61672340, 61472238, 91318301)
杨启哲,李国强.基于通信Petri网的异步通信程序验证模型.软件学报,2017,28(4):804-818
Copy