Nicolas Descoubes

	2006
2		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
1		Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu: BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. TACAS 2005: 581-585

Coauthor Index

1	Damien Bergamini	[1] [2]
2	Adrian Curic	[2]
3	Hubert Garavel	[2]
4	Christophe Joubert	[1] [2]
5	Radu Mateescu	[1] [2]
6	Irina Smarandache-Sturm	[2]
7	Gilles Stragier	[2]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page