Weak Bisimulation for Probabilistic Timed Automata (2003)

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