%0 Journal Article %1 journals/tvlsi/GhodratGN06 %A Ghodrat, Mohammad Ali %A Givargis, Tony %A Nicolau, Alexandru %D 2006 %J IEEE Trans. Very Large Scale Integr. Syst. %K dblp %N 8 %P 830-842 %T Expression equivalence checking using interval analysis. %U http://dblp.uni-trier.de/db/journals/tvlsi/tvlsi14.html#GhodratGN06 %V 14

@article{journals/tvlsi/GhodratGN06, added-at = {2020-03-11T00:00:00.000+0100}, author = {Ghodrat, Mohammad Ali and Givargis, Tony and Nicolau, Alexandru}, biburl = {https://www.bibsonomy.org/bibtex/25d1f4a98f8ece5650d98c748dbcc63f9/dblp}, ee = {https://doi.org/10.1109/TVLSI.2006.878471}, interhash = {3bdb7a72ce93e859987d017f051276f4}, intrahash = {5d1f4a98f8ece5650d98c748dbcc63f9}, journal = {IEEE Trans. Very Large Scale Integr. Syst.}, keywords = {dblp}, number = 8, pages = {830-842}, timestamp = {2020-03-12T11:44:07.000+0100}, title = {Expression equivalence checking using interval analysis.}, url = {http://dblp.uni-trier.de/db/journals/tvlsi/tvlsi14.html#GhodratGN06}, volume = 14, year = 2006 }