Bin Yu, Jinhui Liu, Ming Lei, Yong Yu 0002, Hao Chen. Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads. In Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan, editors, Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers. Volume 12028 of Lecture Notes in Computer Science, pages 99-109, Springer, 2019. [doi]
Abstract is missing.