%0 Journal Article %1 journals/fmsd/MeinelS97 %A Meinel, Christoph %A Slobodová, Anna %D 1997 %J Formal Methods Syst. Des. %K dblp %N 3 %P 223-237 %T A Unifying Theoretical Background for Some Bdd-based Data Structures. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd11.html#MeinelS97 %V 11

@article{journals/fmsd/MeinelS97, added-at = {2020-03-13T00:00:00.000+0100}, author = {Meinel, Christoph and Slobodová, Anna}, biburl = {https://www.bibsonomy.org/bibtex/2c96df7eaa5b38179abb864c4e388c930/dblp}, ee = {https://doi.org/10.1023/A:1008667729897}, interhash = {bc968b16e706b9632e745cd804dd0fe6}, intrahash = {c96df7eaa5b38179abb864c4e388c930}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {223-237}, timestamp = {2020-03-14T11:51:48.000+0100}, title = {A Unifying Theoretical Background for Some Bdd-based Data Structures.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd11.html#MeinelS97}, volume = 11, year = 1997 }