Michael Huth;Marta Z. Kwiatkowska
-;-
Model checking for a probabilistic branching time logic with fairness
Distributed Computing