Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg. Towards Distributed Software Model-Checking using Decision Diagrams.
25th International Conference on Computer Aided Verification (CAV), Jul 2013, Saint-Petersbourg, Russia. Springer Verlag, 8044, pp.830-845, Lecture Notes in Computer Science.
〈10.1007/978-3-642-39799-8_58〉.
〈hal-01215999〉