%0 Conference Paper %1 conf/sefm/LovatoMS14 %A Lovato, Alberto %A Macedonio, Damiano %A Spoto, Fausto %B SEFM %D 2014 %E Giannakopoulou, Dimitra %E Salaün, Gwen %I Springer %K dblp %P 35-49 %T A Thread-Safe Library for Binary Decision Diagrams. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2014.html#LovatoMS14 %V 8702 %@ 978-3-319-10430-0

@inproceedings{conf/sefm/LovatoMS14, added-at = {2021-10-14T00:00:00.000+0200}, author = {Lovato, Alberto and Macedonio, Damiano and Spoto, Fausto}, biburl = {https://www.bibsonomy.org/bibtex/25a2b205b012f7f24a9f8f3354913300b/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2014}, editor = {Giannakopoulou, Dimitra and Salaün, Gwen}, ee = {https://doi.org/10.1007/978-3-319-10431-7_4}, interhash = {4ee8ee25c43dc08ee1ccbbdfbbf1f8c8}, intrahash = {5a2b205b012f7f24a9f8f3354913300b}, isbn = {978-3-319-10430-0}, keywords = {dblp}, pages = {35-49}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:21:40.000+0200}, title = {A Thread-Safe Library for Binary Decision Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2014.html#LovatoMS14}, volume = 8702, year = 2014 }