Marc Poulhiès

	2007
2		Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis: Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks. NCA 2007: 257-260
	2006
1		Marc Poulhiès, Jacques Pulou, Christophe Rippert, Joseph Sifakis: A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems. Monterey Workshop 2006: 75-96

Coauthor Index

1	Ananda Basu	[2]
2	Laurent Mounier	[2]
3	Jacques Pulou	[1] [2]
4	Christophe Rippert	[1]
5	Joseph Sifakis	[1] [2]