Model checking for a probabilistic branching time logic with fairness (1998)

by C Baier, M Kwiatkowska
Venue:Distributed Computing