Model checking for probability and time: from theory to practice,” (2003)

by M Kwiatkowska
Venue:in Logic in Computer Science, 2003. Proceedings. 18th Annual IEEE Symposium on,