Towards verifying contract regulated service composition

File Description SizeFormat 
Autonomous Agents and Multi-Agent Systems_24_3_2012.pdfAccepted version389.53 kBAdobe PDFView/Open
Title: Towards verifying contract regulated service composition
Authors: Lomuscio, A
Qu, H
Solanki, M
Item Type: Journal Article
Issue Date: 1-May-2012
URI: http://hdl.handle.net/10044/1/13929
DOI: http://dx.doi.org/10.1007/s10458-010-9152-3
ISSN: 1387-2532
Publisher: SPRINGER
Start Page: 345
End Page: 373
Journal / Book Title: AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS
Volume: 24
Issue: 3
Copyright Statement: © Springer US 2012. The final publication is available at Springer via http://dx.doi.org/10.1007/s10458-010-9152-3
Publication Status: Published
Appears in Collections:Computing



Items in Spiral are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons