Automated parallelization of discrete state-space generation (1997)

by D Nicol, G Ciardo
Venue:Journal of Parallel and Distributed Computing