%0 Conference Paper %1 conf/apn/HamezKTL07 %A Hamez, Alexandre %A Kordon, Fabrice %A Thierry-Mieg, Yann %A Legond-Aubry, Fabrice %B ICATPN %D 2007 %E Kleijn, Jetty %E Yakovlev, Alexandre %I Springer %K dblp %P 495-504 %T dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. %U http://dblp.uni-trier.de/db/conf/apn/icatpn2007.html#HamezKTL07 %V 4546 %@ 978-3-540-73093-4

@inproceedings{conf/apn/HamezKTL07, added-at = {2018-11-02T00:00:00.000+0100}, author = {Hamez, Alexandre and Kordon, Fabrice and Thierry-Mieg, Yann and Legond-Aubry, Fabrice}, biburl = {https://www.bibsonomy.org/bibtex/240ea2f958758d7852a3d497e7eeceae2/dblp}, booktitle = {ICATPN}, crossref = {conf/apn/2007}, editor = {Kleijn, Jetty and Yakovlev, Alexandre}, ee = {https://doi.org/10.1007/978-3-540-73094-1_29}, interhash = {7a6ba85a1d13264f55d9a9c8e54ce36d}, intrahash = {40ea2f958758d7852a3d497e7eeceae2}, isbn = {978-3-540-73093-4}, keywords = {dblp}, pages = {495-504}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:59:36.000+0200}, title = {dmcG : A Distributed Symbolic Model Checker Based on GreatSPN.}, url = {http://dblp.uni-trier.de/db/conf/apn/icatpn2007.html#HamezKTL07}, volume = 4546, year = 2007 }