Weak Bisimulation for Probabilistic Timed Automata (2003)

by Ruggero Lanotte , Andrea Maggiolo-Schettini , Angelo Troina
Venue:PROC. OF SEFM’03, IEEE CS
Citations:17 - 6 self