Searching for "Weak Bisimulation for Probabilistic Timed Automata and Applications to Security." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Weak Bisimulation for Probabilistic Timed Automata and Applications to Security
by Ruggero Lanotte, Andrea Maggiolo-schettini, Angelo Troina — 2003 — In Proc. of SEFM’03, IEEE
…Weak Bisimulation for Probabilistic Timed Automata and Applications to Security ∗ Ruggero Lanotte…
Cited by 11 (6 self) – Add To MetaCart

Weak Bisimulation for Probabilistic Timed Automata
by And Applications To, Ruggero Lanotte, Andrea Maggiolo-schettini, Angelo Troina — 2003 — In Proc. of SEFM’03, IEEE
…Weak Bisimulation for Probabilistic Timed Automata and Applications to Security ∗ Ruggero Lanotte…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB