| |
| 2006 | ||
|---|---|---|
| 1 | 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 |
| 1 | Damien Bergamini | [1] |
| 2 | Adrian Curic | [1] |
| 3 | Nicolas Descoubes | [1] |
| 4 | Hubert Garavel | [1] |
| 5 | Christophe Joubert | [1] |
| 6 | Radu Mateescu | [1] |
| 7 | Gilles Stragier | [1] |