%0 Journal Article %1 journals/tcad/ChopraV06 %A Chopra, Kaviraj %A Vrudhula, Sarma B. K. %D 2006 %J IEEE Trans. on CAD of Integrated Circuits and Systems %K dblp %N 12 %P 2820-2832 %T Efficient Symbolic Algorithms for Computing the Minimum and Bounded Leakage States. %U http://dblp.uni-trier.de/db/journals/tcad/tcad25.html#ChopraV06 %V 25

@article{journals/tcad/ChopraV06, added-at = {2008-04-08T00:00:00.000+0200}, author = {Chopra, Kaviraj and Vrudhula, Sarma B. K.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ddf55219a0aa0bbe96926be5c8c3b553/dblp}, ee = {http://dx.doi.org/10.1109/TCAD.2006.882603}, interhash = {47356ec4c3e88f04d6485a17728349b1}, intrahash = {ddf55219a0aa0bbe96926be5c8c3b553}, journal = {IEEE Trans. on CAD of Integrated Circuits and Systems}, keywords = {dblp}, number = 12, pages = {2820-2832}, timestamp = {2016-02-02T10:08:06.000+0100}, title = {Efficient Symbolic Algorithms for Computing the Minimum and Bounded Leakage States.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad25.html#ChopraV06}, volume = 25, year = 2006 }