Gerrit Großmann, Luca Bortolussi. Reducing Spreading Processes on Networks to Markov Population Models. In David Parker 0001, Verena Wolf, editors, Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings. Volume 11785 of Lecture Notes in Computer Science, pages 292-309, Springer, 2019. [doi]
Abstract is missing.