Libdmc (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Libdmc" in English language version.

Last modified: 15:35:42, 29 April 2025 (UTC)

Ref.Un. Ref.Website

Global rank English rank

2^nd place

15^th place

8^th place

low place

doi.org (Global: 2^nd place; English: 2^nd place)

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.
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.

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.