DEBBI, Hichem. Modeling and Performance Analysis of Resource Provisioning in Cloud Computing using Probabilistic Model Checking. Informatica, [S. l.], v. 45, n. 4, 2021. DOI: 10.31449/inf.v45i4.3308. Disponível em: https://www.informatica.si/index.php/informatica/article/view/3308. Acesso em: 10 jan. 2026.