DMCA

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

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