Searching for "When are Timed Automata weakly timed bisimilar to Time Petri Nets?" – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

When are timed automata weakly timed bisimilar to time Petri nets
by B. Bérard, F. Cassez, S. Haddad, Didier Lime, O. H. Roux — 2005 — In 25th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2005), volume 3821 of LNCS
…When are Timed Automata weakly timed bisimilar to Time Petri Nets ? B. Bérard 1 , F. Cassez 2 , S…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB