Verifying Quantitative Properties of Continuous Probabilistic Timed Automata (2000)

by M Z Kwiatkowska, G Norman, R Segala, J Sproston
Venue:In CONCUR. LNCS 1877