Simulation and bisimulation for probabilistic timed automata, in (0)

by J Sproston, A Troina
Venue:Proc. of FORMATS’10, in: Springer LNCS