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]
@article{LiuWYWY16,
title = {Workflow temporal verification for monitoring parallel business processes},
author = {Xiao Liu and Dingxian Wang and Dong Yuan and Futian Wang and Yun Yang},
year = {2016},
doi = {10.1002/smr.1761},
url = {http://dx.doi.org/10.1002/smr.1761},
researchr = {https://researchr.org/publication/LiuWYWY16},
cites = {0},
citedby = {0},
journal = {Journal of Software Maintenance},
volume = {28},
number = {4},
pages = {286-302},
}