Wytse Oortwijn, Tom van Dijk, Jaco van de Pol. Distributed binary decision diagrams for symbolic reachability. In Hakan Erdogmus, Klaus Havelund, editors, Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. pages 21-30, ACM, 2017. [doi]
Abstract is missing.