Dijk, T.; Laarman, A.; Pol, J. Multi-Core and Or Symbolic Model Checking. eceasst 2012, 53.