Design and Implementation Verification of Finite State Systems

Rajeev K. Ranjan

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M97/99
December 1997

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1997/ERL-97-99.pdf

Advisor: Robert K. Brayton


BibTeX citation:

@phdthesis{Ranjan:M97/99,
    Author = {Ranjan, Rajeev K.},
    Title = {Design and Implementation Verification of Finite State Systems},
    School = {EECS Department, University of California, Berkeley},
    Year = {1997},
    Month = {Dec},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1997/3371.html},
    Number = {UCB/ERL M97/99}
}

EndNote citation:

%0 Thesis
%A Ranjan, Rajeev K.
%T Design and Implementation Verification of Finite State Systems
%I EECS Department, University of California, Berkeley
%D 1997
%@ UCB/ERL M97/99
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1997/3371.html
%F Ranjan:M97/99