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]
@article{LiuZCDZC21,
title = {Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow With Task Synchronization Patterns},
author = {Cong Liu 0012 and Qingtian Zeng and Long Cheng 0003 and Hua Duan and MengChu Zhou and Jiujun Cheng},
year = {2021},
doi = {10.1109/TASE.2020.2993376},
url = {https://doi.org/10.1109/TASE.2020.2993376},
researchr = {https://researchr.org/publication/LiuZCDZC21},
cites = {0},
citedby = {0},
journal = {IEEE T. Automation Science and Engineering},
volume = {18},
number = {3},
pages = {1037-1048},
}