TY - RPRT TI - Formal Specification Language Based IaaS Cloud Workload Regression Analysis AU - Sukhpal Singh AU - Inderveer Chana PY - 2014 DO - 10.1109/iccccm.2013.6648901 UR - https://arxiv.org/abs/1402.3034 ID - 1402.3034 ER -