基于CPN对系统的并发行为进行测试 (Testing Concurrent Behavior of System Based on CPN)

Hua Li, Tao Sun, Xianrong Wang, Yi Xing, Yingjie Li, Xinghang Xia. 基于CPN对系统的并发行为进行测试 (Testing Concurrent Behavior of System Based on CPN). 计算机科学, 43(1):218-225, 2016. [doi]

Abstract

Abstract is missing.