"FlyFast: A Mean Field Model Checker."

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