Verifying quantitative properties of continuous probabilistic timed automata (0)

by M Z Kwiatkowska, G Norman, R Segala, J Sproston
Venue:in International Conference on Concurrency Theory, ser. Springer LNCS, 2000