Orna Kupferman, Wenchao Li and Sanjit A. Seshia
EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2008-26
March 31, 2008
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-26.pdf
BibTeX citation:
@techreport{Kupferman:EECS-2008-26, Author = {Kupferman, Orna and Li, Wenchao and Seshia, Sanjit A.}, Title = {On the Duality between Vacuity and Coverage}, Institution = {EECS Department, University of California, Berkeley}, Year = {2008}, Month = {Mar}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-26.html}, Number = {UCB/EECS-2008-26} }
EndNote citation:
%0 Report %A Kupferman, Orna %A Li, Wenchao %A Seshia, Sanjit A. %T On the Duality between Vacuity and Coverage %I EECS Department, University of California, Berkeley %D 2008 %8 March 31 %@ UCB/EECS-2008-26 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-26.html %F Kupferman:EECS-2008-26