Steffen Lamparter, Stefan Luckner, Sybille Mutschler. Formal Specification of Web Service Contracts for Automated Contracting and Monitoring. In 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA. pages 63, IEEE Computer Society, 2007. [doi]
Abstract is missing.