Formal Verification of SLA Transformations (2011)

by Vatche Ishakian, Andrei Lapets, Azer Bestavros, Assaf Kfoury
Venue:In Proceedings of CloudPerf 2011: IEEE International Workshop on Performance Aspects of Cloud and Service Virtualization