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