External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Decision Support for Mobile Cloud Computing Applications via Model Checking

Luca Aceto, Andrea Morichetta, Francesco Tiezzi. Decision Support for Mobile Cloud Computing Applications via Model Checking. In 3rd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, MobileCloud 2015, San Francisco, CA, USA, March 30 - April 3, 2015. pages 199-204, IEEE, 2015. [doi]

Abstract

Abstract is missing.

runs on