%0 Conference Paper %1 conf/ipps/HamezKT07 %A Hamez, Alexandre %A Kordon, Fabrice %A Thierry-Mieg, Yann %B IPDPS %D 2007 %I IEEE %K dblp %P 1-8 %T IibDMC: a Library to Operate Efficient Distributed Model Checking. %U http://dblp.uni-trier.de/db/conf/ipps/ipdps2007.html#HamezKT07

@inproceedings{conf/ipps/HamezKT07, added-at = {2023-03-24T00:00:00.000+0100}, author = {Hamez, Alexandre and Kordon, Fabrice and Thierry-Mieg, Yann}, biburl = {https://www.bibsonomy.org/bibtex/20b8f2ae4272388a34c0055e4282c54d5/dblp}, booktitle = {IPDPS}, crossref = {conf/ipps/2007}, ee = {https://www.wikidata.org/entity/Q29392810}, interhash = {6541c1e9f2bd0a026e40717238bd7386}, intrahash = {0b8f2ae4272388a34c0055e4282c54d5}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE}, timestamp = {2024-04-10T17:23:49.000+0200}, title = {IibDMC: a Library to Operate Efficient Distributed Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/ipps/ipdps2007.html#HamezKT07}, year = 2007 }