%0 Journal Article %1 journals/tc/ChenL10 %A Chen, Gang %A Liu, Feng %D 2010 %J IEEE Trans. Computers %K dblp %N 1 %P 134-136 %T Proofs of Correctness and Properties of Integer Adder Circuits. %U http://dblp.uni-trier.de/db/journals/tc/tc59.html#ChenL10 %V 59

@article{journals/tc/ChenL10, added-at = {2015-12-22T00:00:00.000+0100}, author = {Chen, Gang and Liu, Feng}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a03e023bfc858f23dc22fb6de7979aaf/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TC.2009.137}, interhash = {bd5c191c4df35f36ee767c0e1122cc5f}, intrahash = {a03e023bfc858f23dc22fb6de7979aaf}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 1, pages = {134-136}, timestamp = {2016-02-02T02:34:56.000+0100}, title = {Proofs of Correctness and Properties of Integer Adder Circuits.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc59.html#ChenL10}, volume = 59, year = 2010 }