Weak Bisimulation for Probabilistic Timed Automata and Applications to Security.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Browse the full SEFM paper archive.