%0 Journal Article %1 journals/tcad/HulgaardWA99 %A Hulgaard, Henrik %A Williams, Poul Frederick %A Andersen, Henrik Reif %D 1999 %J IEEE Trans. on CAD of Integrated Circuits and Systems %K dblp %N 7 %P 903-917 %T Equivalence checking of combinational circuits using Boolean expression diagrams. %U http://dblp.uni-trier.de/db/journals/tcad/tcad18.html#HulgaardWA99 %V 18

@article{journals/tcad/HulgaardWA99, added-at = {2016-03-18T00:00:00.000+0100}, author = {Hulgaard, Henrik and Williams, Poul Frederick and Andersen, Henrik Reif}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/247ff04a21715c412e7a852351b5acaa5/dblp}, ee = {http://dx.doi.org/10.1109/43.771175}, interhash = {21ed08cf3167348746b75270b18fa0a5}, intrahash = {47ff04a21715c412e7a852351b5acaa5}, journal = {IEEE Trans. on CAD of Integrated Circuits and Systems}, keywords = {dblp}, number = 7, pages = {903-917}, timestamp = {2016-03-19T10:32:31.000+0100}, title = {Equivalence checking of combinational circuits using Boolean expression diagrams.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad18.html#HulgaardWA99}, volume = 18, year = 1999 }