Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Libdmc
open-in-new
<h2 id="references">References</h2> <ol> <li id="fn:1"><p>Hamez, Alexandre; Kordon, Fabrice; Thierry-Mieg, Yann (2007). "IibDMC: A Library to Operate Efficient Distributed Model Checking". 2007 IEEE International Parallel and Distributed Processing Symposium. pp. 1–8. doi:10.1109/IPDPS.2007.370647. ISBN 978-1-4244-0909-9. S2CID 12586847. <a href="978-1-4244-0909-9" target="_blank">978-1-4244-0909-9</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Hamez, Alexandre; Kordon, Fabrice; Thierry-Mieg, Yann; Legond-Aubry, Fabrice (2007). "DMCG: A Distributed Symbolic Model Checker Based on GreatSPN". Petri Nets and Other Models of Concurrency – ICATPN 2007. Lecture Notes in Computer Science. Vol. 4546. pp. 495–504. doi:10.1007/978-3-540-73094-1_29. ISBN 978-3-540-73093-4. <a href="978-3-540-73093-4" target="_blank">978-3-540-73093-4</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Accueil LIP6 <a href="http://www.lip6.fr" target="_blank">http://www.lip6.fr</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> </ol>