"On-the-fly PCTL fast mean-field approximated model-checking for ..."

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