"FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on ..."

Diego Latella, Michele Loreti, Mieke Massink (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics