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