F.: Symbolic model checking for probabilistic timed automata (2007)

by M Kwiatkowska, G Norman, J Sproston, Wang
Venue:Information and Computation