TY  - RPRT
TI  - Cloud elasticity using probabilistic model checking
AU  - Athanasios Naskos
AU  - Emmanouela Stachtiari
AU  - Anastasios Gounaris
AU  - Panagiotis Katsaros
AU  - Dimitrios Tsoumakos
AU  - Ioannis Konstantinou
AU  - Spyros Sioutas
PY  - 2014
UR  - https://arxiv.org/abs/1405.4699
ID  - 1405.4699
ER  -