"Measuring Progress of Probabilistic LTL Model Checking"

Elise Cormie-Bowins, Franck van Breugel (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics