DMCA

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

by Christel Baier , Marta Kwiatkowska
Venue:Distributed Computing
Citations:128 - 39 self