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. pp.830-845,
⟨10.1007/978-3-642-39799-8_58⟩.
⟨hal-01215999⟩