Alexandre Hamez, Fabrice Kordon, yann Thierry-Mieg. libDMC: a library to Operate Efficient Distributed Model Checking.
Workshop on Performance Optimization for High-Level Languages and Libraries - associated to IPDPS'2007, Mar 2007, Long Beach, California, United States.
⟨10.1109/IPDPS.2007.370647⟩.
⟨hal-00687573⟩