Hichem Debbi. Modeling and Formal Analysis of Probabilistic Complex Event Processing (CEP) Applications. In Anthony Anjorin, Huáscar Espinoza, editors, Modelling Foundations and Applications - 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. Volume 10376 of Lecture Notes in Computer Science, pages 248-263, Springer, 2017. [doi]
Abstract is missing.