Verifiable Model Construction for Business Processes

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]

Authors

Shunhui Ji

This author has not been identified. Look up 'Shunhui Ji' in Google

Liming Hu

This author has not been identified. Look up 'Liming Hu' in Google

Yihan Cao

This author has not been identified. Look up 'Yihan Cao' in Google

Pengcheng Zhang

This author has not been identified. Look up 'Pengcheng Zhang' in Google

Jerry Gao

This author has not been identified. Look up 'Jerry Gao' in Google