Menu

C. Molina-Jimenez

5 published titles

A case for consumer-centric resource accounting models

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2010
  • Details

Consumer side resource accounting in the cloud

(Contributor)

1 edition

  • Newcastle University
  • 2011
  • Details

A high-level model-checking tool for verifying electronic contracts

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

A model for checking contractual compliance of business interactions

1 edition

  • Newcastle University
  • 2013
  • Details

A tool for the automatic verification of BPMN choreographies

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • Details

obnb.uk is a Good Stuff website.