MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Thomas Chatain" – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Symbolic Diagnosis of Partially Observable Concurrent Systems
by Thomas Chatain, Claude Jard — 2004 — in "24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE
…Symbolic Diagnosis of Partially Observable Concurrent Systems ∗ Thomas Chatain Claude Jard † IRISA…
Cited by 1 (0 self) – Add To MetaCart

Symbolic Unfoldings for Networks of Timed Automata
by Franck Cassez, Thomas Chatain, Claude Jard — 2006 — Proc. of the 4th International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, number 4218 in Lecture Notes in Computer Science
…Symbolic Unfoldings For Networks of Timed Automata Franck Cassez 1⋆ , Thomas Chatain 2 and Claude…
Cited by 2 (0 self) – Add To MetaCart

Operations
by Étienne André, Thomas Chatain, Emmanuelle Encrenaz, Laurent Fribourg — 2008
…RP ’08 A Generalisation Method for Parametric Timed Automata Étienne André Thomas Chatain…
Add To MetaCart

found at the ENTCS Macro Home Page. An Inverse Method for Parametric Timed Automata
by Étienne André, Thomas Chatain, Laurent Fribourg
… André, Thomas Chatain, Laurent Fribourg 1 LSV – ENS de Cachan & CNRS, France Emmanuelle Encrenaz 2 LIP6…
Add To MetaCart

Showing 1 through 4.

ATOM

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