Rajeev K. Ranjan

EECS Department, University of California, Berkeley

Technical Report No. UCB/ERL M97/99

, 1997

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

Advisors: 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