Tool Support for BPEL Verification in ActiveBPEL Engine - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Yi Qian' in GoogleThis author has not been identified. Look up 'Yuming Xu' in GoogleThis author has not been identified. Look up 'Zheng Wang' in GoogleThis author has not been identified. Look up 'Geguang Pu' in GoogleThis author has not been identified. Look up 'Huibiao Zhu' in GoogleThis author has not been identified. Look up 'Chao Cai' in Google

runs on WebDSL