Parallelising symbolic state-space generators (2007)

by J Ezekiel, G Lüttgen, G Ciardo
Venue:In Computer Aided Verification (CAV