Interfacing System Description Languages to Formal Verification

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://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/1996/3017.html
%F Baker:M96/26