A Petri-net-based Method For Detecting Bugs in Multiple Threads - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jiaquan Sun' in GoogleThis author has not been identified. Look up 'GuanJun Liu' in GoogleThis author has not been identified. Look up 'Dongming Xiang' in GoogleThis author has not been identified. Look up 'Changjun Jiang' in Google

runs on WebDSL