Behrooz Nobakht, Stijn de Gouw, Frank S. de Boer. Formal Verification of Service Level Agreements Through Distributed Monitoring. In Schahram Dustdar, Frank Leymann, Massimo Villari, editors, Service Oriented and Cloud Computing - 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings. Volume 9306 of Lecture Notes in Computer Science, pages 125-140, Springer, 2015. [doi]
Abstract is missing.