Jagesh V. Sanghavi

EECS Department, University of California, Berkeley

1996

Advisors: Alberto L. Sangiovanni-Vincentelli

---

BibTeX citation:

@phdthesis{Sanghavi:7985,
    Author= {Sanghavi, Jagesh V.},
    Title= {High Performance Verification Algorithms},
    School= {EECS Department, University of California, Berkeley},
    Year= {1996},
}

EndNote citation:

%0 Thesis
%A Sanghavi, Jagesh V. 
%T High Performance Verification Algorithms
%I EECS Department, University of California, Berkeley
%D 1996
%F Sanghavi:7985