Improving communication for distributed model checking. - Jean Fourie; Jaco Geldenhuys; Cornelia P. Inggs (SAICSIT, 2012)