Jian Cai, Wen Zhao, Shikun Zhang, Lifu Wang. Correctness Verification of synchronization based workflow model. In Francis C. M. Lau, Hui Lei, Xiaofeng Meng, Min Wang, editors, 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 18-21 October 2005, Beijing, China. pages 527-530, IEEE Computer Society, 2005. [doi]
@inproceedings{JianWSL05,
title = {Correctness Verification of synchronization based workflow model},
author = {Jian Cai and Wen Zhao and Shikun Zhang and Lifu Wang},
year = {2005},
doi = {10.1109/ICEBE.2005.43},
url = {http://doi.ieeecomputersociety.org/10.1109/ICEBE.2005.43},
tags = {rule-based, synchronization, workflow},
researchr = {https://researchr.org/publication/JianWSL05},
cites = {0},
citedby = {0},
pages = {527-530},
booktitle = {2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 18-21 October 2005, Beijing, China},
editor = {Francis C. M. Lau and Hui Lei and Xiaofeng Meng and Min Wang},
publisher = {IEEE Computer Society},
isbn = {0-7695-2430-3},
}