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

by Christel Baier , Marta Kwiatkowska
Venue:Distributed Computing
Citations:116 - 37 self