Bouanaka, Chafia
Maatougui, Esma
Belala, Faiza
Zeghib, Nadia
This article is maintained by: Elsevier
Article Title: A formal quantitative analysis of elastic cloud systems based on PSMaude
Journal Title: Journal of King Saud University - Computer and Information Sciences
CrossRef DOI link to publisher maintained version: https://doi.org/10.1016/j.jksuci.2019.11.008
Content Type: article
Copyright: © 2019 The Authors. Production and hosting by Elsevier B.V. on behalf of King Saud University.