Debbi H. Modeling and Performance Analysis of Resource Provisioning in Cloud Computing using Probabilistic Model Checking. IJCAI [Internet]. 2021 Dec. 17 [cited 2025 Jun. 23];45(4). Available from: https://puffbird.ijs.si/index.php/informatica/article/view/3308