Model-Checking of Web Services Choreography - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu. Model-Checking of Web Services Choreography. In Jonathan Lee, Deron Liang, Y. C. Cheng, editors, The Fourth IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008, 18-19 December 2008, Jhongli, Taiwan. pages 79-84, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Hongli Yang' in GoogleThis author has not been identified. Look up 'Xiangpeng Zhao' in GoogleThis author has not been identified. Look up 'Chao Cai' in GoogleThis author has not been identified. Look up 'Zongyan Qiu' in Google

runs on WebDSL