MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Nicolas Baudru" – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Morin R.: The Synthesis Problem of Netcharts
by Nicolas Baudru, Rémi Morin — 2006
…THEORY PAPER — November 25, 2005 — 19h.27 The Synthesis Problem of Netcharts Nicolas BAUDRU & Rémi…
Cited by 1 (1 self) – Add To MetaCart

Unfolding Synthesis of Asynchronous Automata
by Nicolas Baudru, Rémi Morin — International Computer Science Symposium in Russia, CSR 2006. Available at http://www.cmi.univ-mrs.fr/˜morin/papers/CSR.pdf
…Unfolding Synthesis of Asynchronous Automata ⋆ Nicolas BAUDRU & Rémi MORIN Laboratoire d…
Cited by 1 (0 self) – Add To MetaCart

Morin R.: Safe Implementability of Regular Message Sequence Charts Specifications
by Nicolas Baudru, Rémi Morin — 2003 — Proc. of the ACIS 4th Int. Conf. SNDP
…Safe Implementability of Regular Message Sequence Chart Specifications Nicolas BAUDRU & Rémi MORIN…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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