Model checking probabilistic timed automata with one or two clocks (0)

by M Jurdzinski, J Sproston, F Laroussinie
Venue:Logical Methods in Computer Science