Pavel Parizek, Jirí Adámek. Checking Session-Oriented Interactions between Web Services. In 34th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2008, September 3-5, 2008, Parma, Italy. pages 3-10, IEEE, 2008. [doi]
Abstract is missing.