Wendell C. Baker
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M96/26
May 1996
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1996/ERL-96-26.pdf
Advisor: A. Richard Newton
BibTeX citation:
@phdthesis{Baker:M96/26, Author = {Baker, Wendell C.}, Title = {Interfacing System Description Languages to Formal Verification}, School = {EECS Department, University of California, Berkeley}, Year = {1996}, Month = {May}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1996/3017.html}, Number = {UCB/ERL M96/26} }
EndNote citation:
%0 Thesis %A Baker, Wendell C. %T Interfacing System Description Languages to Formal Verification %I EECS Department, University of California, Berkeley %D 1996 %@ UCB/ERL M96/26 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1996/3017.html %F Baker:M96/26