Reducing Spreading Processes on Networks to Markov Population Models

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]

Authors

Gerrit Großmann

This author has not been identified. Look up 'Gerrit Großmann' in Google

Luca Bortolussi

This author has not been identified. Look up 'Luca Bortolussi' in Google