San-Yih Hwang, Wen-Fan Hsieh, Chien-Hsiang Lee. Verifying Web services in a choreography environment. In Kwei-Jay Lin, Christian Huemer, M. Brian Blake, Boualem Benatallah, editors, 2011 IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2011, Irvine, CA, USA, December 12-14, 2011. pages 1-4, IEEE, 2011. [doi]
Abstract is missing.