Toggle Main Menu Toggle Search

Open Access padlockePrints

High Level Model Checker Based Testing Of Electronic Contracts

Lookup NU author(s): Dr Ellis SolaimanORCiD, Dr Ioannis SfyrakisORCiD, Dr Carlos Molina-Jimenez


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

Publication metadata

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


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

Library holdings: Search Newcastle University Library for this item

ISBN: 9783319295817