Parallelizing A Model Checker.

Marco Danelutto, G. Di Caprio, Andrea Masini

Browse the full PDPTA paper archive.