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.

Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow With Task Synchronization Patterns

Cong Liu 0012, Qingtian Zeng, Long Cheng 0003, Hua Duan, MengChu Zhou, Jiujun Cheng. Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow With Task Synchronization Patterns. IEEE T. Automation Science and Engineering, 18(3):1037-1048, 2021. [doi]

Authors

Cong Liu 0012

This author has not been identified. Look up 'Cong Liu 0012' in Google

Qingtian Zeng

This author has not been identified. Look up 'Qingtian Zeng' in Google

Long Cheng 0003

This author has not been identified. Look up 'Long Cheng 0003' in Google

Hua Duan

This author has not been identified. Look up 'Hua Duan' in Google

MengChu Zhou

This author has not been identified. Look up 'MengChu Zhou' in Google

Jiujun Cheng

This author has not been identified. Look up 'Jiujun Cheng' in Google
runs on