Maria Krotsiani, Christos Kloukinas, George Spanoudakis. Validation of Service Level Agreements Using Probabilistic Model Checking. In Xiaoqing (Frank) Liu, Umesh Bellur, editors, 2017 IEEE International Conference on Services Computing, SCC 2017, Honolulu, HI, USA, June 25-30, 2017. pages 148-155, IEEE Computer Society, 2017. [doi]
Abstract is missing.