Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Incremental Methods for Formal Veri cation and Logic Gitanjali Meher Swamy
 

Summary: Incremental Methods for Formal Veri cation and Logic
Synthesis
by
Gitanjali Meher Swamy
B.Tech (Indian Institute of Technology, Kanpur) 1991
M.S. (University of California, Berkeley) 1993
A dissertation submitted in partial satisfaction of the
requirements for the degree of
Doctor of Philosophy
in
Engineering-Electrical Engineering and Computer Sciences
in the
GRADUATE DIVISION
of the
UNIVERSITY of CALIFORNIA, BERKELEY
Committee in charge:
Professor Robert K. Brayton, Chair
Professor A. Sangiovanni-Vincentelli
Professor Alice Agogino
Fall 1996

  

Source: Agogino, Alice M. - Department of Mechanical Engineering, University of California at Berkeley

 

Collections: Engineering