Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai. Tool Support for BPEL Verification in ActiveBPEL Engine. In 18th Australian Software Engineering Conference (ASWEC 2007), April 10-13, 2007, Melbourne, Australia. pages 90-100, IEEE Computer Society, 2007. [doi]
Abstract is missing.