Searching for "An Inverse Method for Parametric Timed Automata." – 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.

found at the ENTCS Macro Home Page. An Inverse Method for Parametric Timed Automata
by Étienne André, Thomas Chatain, Laurent Fribourg
…. Both can be found at the ENTCS Macro Home Page. An Inverse Method for Parametric Timed Automata Étienne…
Add To MetaCart

Showing 1 through 1.

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