Gregory van Seghbroeck, Filip De Turck, Bart Dhoedt, Piet Demeester. Web Service Choreography Conformance Verification in M2M Systems through the piX-model. In Proceedings of the IEEE International Conference on Pervasive Services, ICPS 2007, 15-20 July, 2007, Istanbul, Turkey. pages 385-390, IEEE Computer Society, 2007. [doi]
Abstract is missing.