Nicolas Descoubes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
1
Active years
2005–2006
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | TACAS | DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. | Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier |
| 2005 | TACAS | BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. | Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu |