A Hierarchical CPN Model Automatically Generating Method Aiming at Multithreading Program Algorithm Error Detection | IEEE Conference Publication | IEEE Xplore