%0 Journal Article %1 tr/trier/MI02-20 %A Bryant, Randal E. %A Meinel, Christoph %D 2002 %J Universität Trier, Mathematik/Informatik, Forschungsbericht %K dblp %T Ordered Binary Decision Diagrams in Electronic Design Automation %V 02-20

@article{tr/trier/MI02-20, added-at = {2011-12-29T00:00:00.000+0100}, author = {Bryant, Randal E. and Meinel, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2a375bf673f20a2b74a315ed95bd1f859/dblp}, interhash = {d08d02003526b6ab2a2aaa89d830c424}, intrahash = {a375bf673f20a2b74a315ed95bd1f859}, journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht}, keywords = {dblp}, timestamp = {2011-12-30T11:32:25.000+0100}, title = {Ordered Binary Decision Diagrams in Electronic Design Automation}, volume = {02-20}, year = 2002 }