|
Search the dblp DataBase
Damien Bergamini:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu
Model Checking Genetic Regulatory Networks Using GNA and CADP. [Citation Graph (0, 0)][DBLP] SPIN, 2004, pp:158-163 [Conf]
- Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. [Citation Graph (0, 0)][DBLP] TACAS, 2005, pp:581-585 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] TACAS, 2006, pp:445-449 [Conf]
Search in 0.005secs, Finished in 0.005secs
|