Jiaquan Sun, GuanJun Liu, Dongming Xiang, Changjun Jiang. A Petri-net-based Method For Detecting Bugs in Multiple Threads. In 16th IEEE International Conference on Networking, Sensing and Control, ICNSC 2019, Banff, AB, Canada, May 9-11, 2019. pages 150-156, IEEE, 2019. [doi]
Abstract is missing.