# Model checking for cloud autoscaling using WATERS

> 2020 master's thesis by Martin van Zijl at University of Waikato

**Wikidata**: [Q112954172](https://www.wikidata.org/wiki/Q112954172)  
**Source**: https://4ort.xyz/entity/model-checking-for-cloud-autoscaling-using-waters