dblp.uni-trier.dewww.uni-trier.de

Nicolas Baudru

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
6EENicolas Baudru, Rémi Morin: Synthesis of Safe Message-Passing Systems. FSTTCS 2007: 277-289
2006
5EENicolas Baudru, Rémi Morin: Unfolding Synthesis of Asynchronous Automata. CSR 2006: 46-57
4EENicolas Baudru, Rémi Morin: The Synthesis Problem of Netcharts. ICATPN 2006: 84-104
2005
3EENicolas Baudru, Rémi Morin: Polynomial Synthesis of Asynchronous Automata CoRR abs/cs/0506096: (2005)
2004
2EENicolas Baudru, Rémi Morin: The Pros and Cons of Netcharts. CONCUR 2004: 99-114
2003
1 Nicolas Baudru, Rémi Morin: Safe Implementability of Regular Message Sequence Chart Specifications. SNPD 2003: 210-217

Coauthor Index

1Rémi Morin [1] [2] [3] [4] [5] [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)