Vatche Ishakian, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury. Formal Verification of SLA Transformations. In World Congress on Services, SERVICES 2011, Washington, DC, USA, July 4-9, 2011. pages 540-547, IEEE Computer Society, 2011. [doi]
Abstract is missing.