%0 Generic %1 data/10/HusungDHK24 %A Husung, Nils %A Dubslaff, Clemens %A Hermanns, Holger %A Köhl, Maximilian A. %D 2024 %I Zenodo %K dblp %T OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust.

@data{data/10/HusungDHK24, added-at = {2024-08-16T00:00:00.000+0200}, author = {Husung, Nils and Dubslaff, Clemens and Hermanns, Holger and Köhl, Maximilian A.}, biburl = {https://www.bibsonomy.org/bibtex/2afb60067079ec27088d5a1ea8be7c1af/dblp}, ee = {https://doi.org/10.5281/zenodo.10578461}, interhash = {67246e1d9d07558bbe320551e85713ef}, intrahash = {afb60067079ec27088d5a1ea8be7c1af}, keywords = {dblp}, publisher = {Zenodo}, timestamp = {2024-08-19T07:36:29.000+0200}, title = {OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust.}, year = 2024 }