%0 Journal Article %1 journals/tcad/ZaksYSICGGA08 %A Zaks, Aleksandr %A Yang, Zijiang %A Shlyakhter, Ilya %A Ivancic, Franjo %A Cadambi, Srihari %A Ganai, Malay K. %A Gupta, Aarti %A Ashar, Pranav %D 2008 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 8 %P 1513-1517 %T Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking. %U http://dblp.uni-trier.de/db/journals/tcad/tcad27.html#ZaksYSICGGA08 %V 27

@article{journals/tcad/ZaksYSICGGA08, added-at = {2023-09-30T00:00:00.000+0200}, author = {Zaks, Aleksandr and Yang, Zijiang and Shlyakhter, Ilya and Ivancic, Franjo and Cadambi, Srihari and Ganai, Malay K. and Gupta, Aarti and Ashar, Pranav}, biburl = {https://www.bibsonomy.org/bibtex/2a292d6d62299b848fad5f823e7aa034f/dblp}, ee = {https://doi.org/10.1109/TCAD.2008.925777}, interhash = {97654ee1e9db3ce4349ad4fad22c3643}, intrahash = {a292d6d62299b848fad5f823e7aa034f}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 8, pages = {1513-1517}, timestamp = {2024-04-08T19:46:40.000+0200}, title = {Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad27.html#ZaksYSICGGA08}, volume = 27, year = 2008 }