Wendell C. Baker
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M96/26
1996
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}, 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