Simulation and Bisimulation for Probabilistic Timed Automata ⋆

by Jeremy Sproston , Angelo Troina
Citations:2 - 0 self