GuanJun Liu, Wolfgang Reisig, Changjun Jiang, MengChu Zhou. A Branching-Process-Based Method to Check Soundness of Workflow Systems. IEEE Access, 4:4104-4118, 2016. [doi]
@article{LiuRJZ16,
title = {A Branching-Process-Based Method to Check Soundness of Workflow Systems},
author = {GuanJun Liu and Wolfgang Reisig and Changjun Jiang and MengChu Zhou},
year = {2016},
doi = {10.1109/ACCESS.2016.2597061},
url = {http://dx.doi.org/10.1109/ACCESS.2016.2597061},
researchr = {https://researchr.org/publication/LiuRJZ16},
cites = {0},
citedby = {0},
journal = {IEEE Access},
volume = {4},
pages = {4104-4118},
}