%0 Journal Article %1 journals/ibmrd/PhillipsV93 %A Phillips, James E. %A Vassiliadis, Stamatis %D 1993 %J IBM J. Res. Dev. %K dblp %N 1 %P 12-21 %T Proof of correctness of high-performance 3-1 interlock collapsing ALUs. %U http://dblp.uni-trier.de/db/journals/ibmrd/ibmrd37.html#PhillipsV93 %V 37

@article{journals/ibmrd/PhillipsV93, added-at = {2020-03-13T00:00:00.000+0100}, author = {Phillips, James E. and Vassiliadis, Stamatis}, biburl = {https://www.bibsonomy.org/bibtex/2f86ac36109c6f1a4129fa4efeaee14c3/dblp}, ee = {https://doi.org/10.1147/rd.371.0012}, interhash = {f8780754e330cc61e941d5624d1b0324}, intrahash = {f86ac36109c6f1a4129fa4efeaee14c3}, journal = {IBM J. Res. Dev.}, keywords = {dblp}, number = 1, pages = {12-21}, timestamp = {2020-03-14T11:47:26.000+0100}, title = {Proof of correctness of high-performance 3-1 interlock collapsing ALUs.}, url = {http://dblp.uni-trier.de/db/journals/ibmrd/ibmrd37.html#PhillipsV93}, volume = 37, year = 1993 }