مؤتمر
A Petri-net-based Method For Detecting Bugs in Multiple Threads
| العنوان: | A Petri-net-based Method For Detecting Bugs in Multiple Threads |
|---|---|
| المؤلفون: | Sun, Jiaquan, Liu, Guanjun, Xiang, Dongming, Jiang, Changjun |
| المصدر: | 2019 IEEE 16th International Conference on Networking, Sensing and Control (ICNSC) Networking, Sensing and Control (ICNSC), 2019 IEEE 16th International Conference on. :150-156 May, 2019 |
| Relation: | 2019 IEEE 16th International Conference on Networking, Sensing and Control (ICNSC) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
| ردمك: | 9781728100845 9781728100838 |
|---|---|
| DOI: | 10.1109/ICNSC.2019.8743177 |