Huiqun Zhao, Wenwen Wang, Jing Sun, Ying Wei. Research on Formal Modeling and Verification of BPEL-based Web Service Composition. In Huaikou Miao, Roger Y. Lee, Hongwei Zeng, Jongmoon Baik, editors, 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30 - June 1, 2012. pages 631-636, IEEE, 2012. [doi]
Abstract is missing.