Model Checking for a Probabilistic Branching Time Logic with Fairness (1998)

by Christel Baier , Marta Kwiatkowska
Venue:Distributed Computing
Citations:136 - 41 self