Automatic verification of real-time systems with discrete probability distributions (0)

by M Kwiatkowska, G Norman, R Segala, J Sproston
Venue:Theoretical Computer Science