Theologos M. Kelessoglou

EECS Department, University of California, Berkeley

Technical Report No. UCB/ERL M90/112

1990

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/ERL-90-112.pdf

Advisors: Donald O. Pederson

---

BibTeX citation:

@phdthesis{Kelessoglou:M90/112,
    Author= {Kelessoglou, Theologos M.},
    Title= {NECTAR: A Knowledge-Based Framework for Analog Circuit Verification},
    School= {EECS Department, University of California, Berkeley},
    Year= {1990},
    Month= {Dec},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/1649.html},
    Number= {UCB/ERL M90/112},
}

EndNote citation:

%0 Thesis
%A Kelessoglou, Theologos M. 
%T NECTAR: A Knowledge-Based Framework for Analog Circuit Verification
%I EECS Department, University of California, Berkeley
%D 1990
%@ UCB/ERL M90/112
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/1649.html
%F Kelessoglou:M90/112