Workflow temporal verification for monitoring parallel business processes

Xiao Liu, Dingxian Wang, Dong Yuan, Futian Wang, Yun Yang. Workflow temporal verification for monitoring parallel business processes. Journal of Software Maintenance, 28(4):286-302, 2016. [doi]

Abstract

Abstract is missing.