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.

An Automatic Generation Method for Condition Expressions of CPN Model Focus on Tested Behaviors

Tao Sun, Linjing Zhang, Huiping Ma. An Automatic Generation Method for Condition Expressions of CPN Model Focus on Tested Behaviors. In Guojun Wang, Mohammed Atiquzzaman, Zheng Yan 0002, Kim-Kwang Raymond Choo, editors, Security, Privacy, and Anonymity in Computation, Communication, and Storage - SpaCCS 2017 International Workshops, Guangzhou, China, December 12-15, 2017, Proceedings. Volume 10658 of Lecture Notes in Computer Science, pages 271-285, Springer, 2017. [doi]

Authors

Tao Sun

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

Linjing Zhang

This author has not been identified. Look up 'Linjing Zhang' in Google

Huiping Ma

This author has not been identified. Look up 'Huiping Ma' in Google
runs on