Liu, C., Zeng, Q., Cheng, L., Duan, H., Zhou, M., & Cheng, J. (2021). Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow with Task Synchronization Patterns. Faculty Publications. https://doi.org/10.1109/TASE.2020.2993376

LIU, Cong, ZENG, Qingtian, CHENG, Long, DUAN, Hua, ZHOU, Mengchu und CHENG, Jiujun, 2021. Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow with Task Synchronization Patterns. Faculty Publications. 1 Januar 2021. DOI 10.1109/TASE.2020.2993376.

Liu, C., Q. Zeng, L. Cheng, H. Duan, M. Zhou, und J. Cheng. „Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow With Task Synchronization Patterns“. Faculty Publications, Januar 2021, https://doi.org/10.1109/TASE.2020.2993376.

Liu, Cong/Zeng, Qingtian/Cheng, Long/Duan, Hua/Zhou, Mengchu/Cheng, Jiujun: Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow with Task Synchronization Patterns, Faculty Publications 2021,

Liu, C., Zeng, Q., Cheng, L., Duan, H., Zhou, M. und Cheng, J. (2021), „Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow with Task Synchronization Patterns“, Faculty Publications, verfügbar unter:https://doi.org/10.1109/TASE.2020.2993376.