Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Design and Implementation Verification of Finite State Systems

Rajeev K. Ranjan

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

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},
    URL = {http://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/1997/3371.html
%F Ranjan:M97/99