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]
@inproceedings{SunLXJ19,
title = {A Petri-net-based Method For Detecting Bugs in Multiple Threads},
author = {Jiaquan Sun and GuanJun Liu and Dongming Xiang and Changjun Jiang},
year = {2019},
doi = {10.1109/ICNSC.2019.8743177},
url = {https://doi.org/10.1109/ICNSC.2019.8743177},
researchr = {https://researchr.org/publication/SunLXJ19},
cites = {0},
citedby = {0},
pages = {150-156},
booktitle = {16th IEEE International Conference on Networking, Sensing and Control, ICNSC 2019, Banff, AB, Canada, May 9-11, 2019},
publisher = {IEEE},
isbn = {978-1-7281-0084-5},
}