Towards verifying contract regulated service composition

File(s)

Autonomous Agents and Multi-Agent Systems_24_3_2012.pdf (389.53 KB)

Accepted version

Show more

Author(s)

Lomuscio, A

Qu, H

Solanki, M

Type

Journal Article

Date Issued

2012-05-01

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

License URL

http://www.rioxx.net/licenses/all-rights-reserved

Identifier

http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=000299514900001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202

Publication Status

Published