Model Checking for Probability and Time: From Theory to Practice (2003)

by Marta Kwiatkowska
Venue:In Proc. Logic in Computer Science