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