Weak Bisimulation for Probabilistic Timed Automata and Applications to Security - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina. Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. In 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia. pages 34-43, IEEE Computer Society, 2003. [doi]

This author has not been identified. Look up 'Ruggero Lanotte' in GoogleThis author has not been identified. Look up 'Andrea Maggiolo-Schettini' in GoogleThis author has not been identified. Look up 'Angelo Troina' in Google

runs on WebDSL