%0 Journal Article %1 journals/tc/HaferP82 %A Hafer, Louis J. %A Parker, Alice C. %D 1982 %J IEEE Trans. Computers %K dblp %N 2 %P 93-109 %T Automated Synthesis of Digital Hardware. %U http://dblp.uni-trier.de/db/journals/tc/tc31.html#HaferP82 %V 31

@article{journals/tc/HaferP82, added-at = {2015-12-22T00:00:00.000+0100}, author = {Hafer, Louis J. and Parker, Alice C.}, biburl = {https://www.bibsonomy.org/bibtex/2d37ee71e95b3c24671bcb1337c48c9d5/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TC.1982.1675955}, interhash = {dd9585694b5567eae24be76b2d3ed0b4}, intrahash = {d37ee71e95b3c24671bcb1337c48c9d5}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 2, pages = {93-109}, timestamp = {2015-12-24T11:49:02.000+0100}, title = {Automated Synthesis of Digital Hardware.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc31.html#HaferP82}, volume = 31, year = 1982 }