Automated Parallelization of Discrete State-space Generation (1997)

by David Nicol , Gianfranco Ciardo
Venue:Journal of Parallel and Distributed Computing
Citations:21 - 2 self