External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

CPN Model Checking Method of Concurrent Software Based on State Space Pruning

Tao Sun, Jing Yang, Wenjie Zhong. CPN Model Checking Method of Concurrent Software Based on State Space Pruning. In Guojun Wang 0001, Ryan K. L. Ko, Md. Zakirul Alam Bhuiyan, Yi Pan 0001, editors, 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2020, Guangzhou, China, December 29, 2020 - January 1, 2021. pages 1390-1394, IEEE, 2020. [doi]

Authors

Tao Sun

This author has not been identified. Look up 'Tao Sun' in Google

Jing Yang

This author has not been identified. Look up 'Jing Yang' in Google

Wenjie Zhong

This author has not been identified. Look up 'Wenjie Zhong' in Google
runs on