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]
Abstract is missing.