Warawoot Pacharoen, Toshiaki Aoki, Athasit Surarerks, Pattarasinee Bhattarakosol. Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking. In IEEE International Conference on Web Services, ICWS 2011, Washington, DC, USA, July 4-9, 2011. pages 722-723, IEEE Computer Society, 2011. [doi]
Abstract is missing.