Weak Bisimulation for Probabilistic Timed Automata and Applications to Security (0)

by R Lanotte, A Maggiolo-Schettini, A Troina
Venue:Proc. SEFM’03, IEEE