Measuring and evaluating parallel state-space exploration algorithms (2007)

by J Ezekiel, G Lüttgen
Venue:In International Workshop on Parallel and Distributed Methods in Verification (PDMC