Harry C. C. Hsieh
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M00/37
May 2000
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2000/ERL-00-37.pdf
Advisor: Alberto L. Sangiovanni-Vincentelli
BibTeX citation:
@phdthesis{Hsieh:M00/37, Author = {Hsieh, Harry C. C.}, Title = {Formal Methods for Embedded System Design}, School = {EECS Department, University of California, Berkeley}, Year = {2000}, Month = {May}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2000/3858.html}, Number = {UCB/ERL M00/37} }
EndNote citation:
%0 Thesis %A Hsieh, Harry C. C. %T Formal Methods for Embedded System Design %I EECS Department, University of California, Berkeley %D 2000 %@ UCB/ERL M00/37 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2000/3858.html %F Hsieh:M00/37