Shunhui Ji, Liming Hu, Yihan Cao, Pengcheng Zhang, Jerry Gao. Verifiable Model Construction for Business Processes. International Journal of Software Engineering and Knowledge Engineering, 31(7):1017-1042, 2021. [doi]
No reviews for this publication, yet.