Orna Kupferman and 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},
    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