Model checking for probability and time: from theory to practice (0)

by M Kwiatkowska
Venue:in Proc. of the 18th Annual IEEE Symposium on Logic in Computer Science