W.K.C. Lam and Robert K. Brayton
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M92/58
May 1992
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1992/ERL-92-58.pdf
BibTeX citation:
@techreport{Lam:M92/58, Author = {Lam, W.K.C. and Brayton, Robert K.}, Title = {Verification with Timed Automata}, Institution = {EECS Department, University of California, Berkeley}, Year = {1992}, Month = {May}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1992/2060.html}, Number = {UCB/ERL M92/58} }
EndNote citation:
%0 Report %A Lam, W.K.C. %A Brayton, Robert K. %T Verification with Timed Automata %I EECS Department, University of California, Berkeley %D 1992 %@ UCB/ERL M92/58 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1992/2060.html %F Lam:M92/58