Theologos M. Kelessoglou
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M90/112
December 1990
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/ERL-90-112.pdf
Advisor: 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