Improving communication for distributed model checking

Jean Fourie, Jaco Geldenhuys, Cornelia Inggs
2012 Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference on - SAICSIT '12  
doi:10.1145/2389836.2389842 dblp:conf/saicsit/FourieGI12 fatcat:aiiogo5k4fguhizuamypyxgv74