DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. - Hubert Garavel; Radu Mateescu 001; Damien Bergamini; Adrian Curic; Nicolas Descoubes; Christophe Joubert; Irina Smarandache-Sturm; Gilles Stragier (TACAS, 2006)