High Level Model Checker Based Testing Of Electronic Contracts

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Author(s): Solaiman E, Sfyrakis I, Molina-Jimenez C

Publication type: Book Chapter

Publication status: Published

Book Title: Cloud Computing and Services Science

Year: 2016

Volume: 581

Pages: 193-215

Online publication date: 03/02/2016

Acceptance date: 06/01/2016

Publisher: Springer-Verlag

URL: http://dx.doi.org/10.1007/978-3-319-29582-4_11

DOI: 10.1007/978-3-319-29582-4_11

Library holdings: Search Newcastle University Library for this item

ISBN: 9783319295817

ePrints