Simulation and bisimulation for probabilistic timed automata (2010)

by J Sproston, A Troina
Venue:Lect. Notes Comput. Sci