![](/img/cover-not-exists.png)
Efficient Symbolic Algorithms for Computing the Minimum and Bounded Leakage States
Kaviraj Chopra, Sarma VrudhulaVolume:
25
Year:
2006
Language:
english
DOI:
10.1109/tcad.2006.882603
File:
PDF, 592 KB
english, 2006