Automated parallelization of discrete state-space generation (1997)

by D Nicol, G Ciardo
Venue:J. Par. and Distr. Comp