Cui Jin-hong, Wang Xu. Formalization and Verification of Inter-organizational Workflow Modeling for E-Commerce. In Fei Yu, Qi Luo, Yongjun Chen, Zhigang Chen, editors, Proceedings of The International Symposium on Electronic Commerce and Security, ISECS 2008, August 3-5, 2008, Guangzhou, China. pages 862-865, IEEE Computer Society, 2008. [doi]
Abstract is missing.