Browse by Author
 | Up a level |
Group by: Date | No Grouping
Jump to: 2020
Number of items: 1.
2020
Liu, Cong 
ORCID: 0000-0002-5999-2126, Zeng, QingTian ORCID: 0000-0002-6421-8223, Cheng, Long ORCID: 0000-0003-1638-059X, Duan, Hua, Zhou, MengChu ORCID: 0000-0002-5408-8752 and Cheng, JiuJun ORCID: 0000-0001-5176-4762
(2020)
Privacy-preserving behavioral correctness verification of cross-organizational workflow with task synchronization patterns.
IEEE Transactions on Automation Science and Engineering, 18
.
pp. 1-12.
ISSN 1545-5955