%0 Conference Paper %1 conf/dsl/Larsen09 %A Larsen, Ken Friis %B DSL %D 2009 %E Taha, Walid Mohamed %I Springer %K dblp %P 45-57 %T A MuDDy Experience-ML Bindings to a BDD Library. %U http://dblp.uni-trier.de/db/conf/dsl/dsl2009.html#Larsen09 %V 5658 %@ 978-3-642-03033-8

@inproceedings{conf/dsl/Larsen09, added-at = {2018-06-26T00:00:00.000+0200}, author = {Larsen, Ken Friis}, biburl = {https://www.bibsonomy.org/bibtex/201b350f4cc78600a1965b818f4e1c49c/dblp}, booktitle = {DSL}, crossref = {conf/dsl/2009}, editor = {Taha, Walid Mohamed}, ee = {https://doi.org/10.1007/978-3-642-03034-5_3}, interhash = {e699b41bbd2b15fc52f1a02a4f75ee6d}, intrahash = {01b350f4cc78600a1965b818f4e1c49c}, isbn = {978-3-642-03033-8}, keywords = {dblp}, pages = {45-57}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:24:28.000+0200}, title = {A MuDDy Experience-ML Bindings to a BDD Library.}, url = {http://dblp.uni-trier.de/db/conf/dsl/dsl2009.html#Larsen09}, volume = 5658, year = 2009 }