Parallelizing A Model Checker. - Marco Danelutto; G. Di Caprio; Andrea Masini (PDPTA, 1996)