DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation
Garavel, Hubert, Mateescu, Radu, Bergamini, Damien, Curic, Adrian, Descoubes, Nicolas, Joubert, Christophe, Smarandache-Sturm, Irina, Stragier, Gilles
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding