Stanislav Pokraev, Dick A. C. Quartel, Maarten W. A. Steen, Manfred Reichert. A Method for Formal Verification of Service Interoperability. In 2006 IEEE International Conference on Web Services (ICWS 2006), 18-22 September 2006, Chicago, Illinois, USA. pages 895-900, IEEE Computer Society, 2006. [doi]
Abstract is missing.