Damien Bergamini

	2006
3		Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier: DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. TACAS 2006: 445-449
	2005
2		Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu: BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. TACAS 2005: 581-585
	2004
1		Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu: Model Checking Genetic Regulatory Networks Using GNA and CADP. SPIN 2004: 158-163

Coauthor Index

1	Grégory Batt	[1]
2	Adrian Curic	[3]
3	Nicolas Descoubes	[2] [3]
4	Hubert Garavel	[1] [3]
5	Hidde de Jong	[1]
6	Christophe Joubert	[2] [3]
7	Radu Mateescu	[1] [2] [3]
8	Irina Smarandache-Sturm	[3]
9	Gilles Stragier	[3]