Inproceedings,

A Hierarchical CPN Model Automatically Generating Method Aiming at Multithreading Program Algorithm Error Detection.

, and .
ISPA/IUCC/BDCloud/SocialCom/SustainCom, page 431-437. IEEE, (2018)

Meta data

Tags

Users

  • @dblp

Comments and Reviews