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]
Abstract is missing.