Model Checking for Hybrid Systems
M. Broucke
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M00/36
2000
BibTeX citation:
@techreport{Broucke:M00/36,
Author = {M. Broucke},
Title = {Model Checking for Hybrid Systems},
Institution = {EECS Department, University of California, Berkeley},
Year = {2000},
URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2000/3857.html},
Number = {UCB/ERL M00/36}
}
EndNote citation:
%0 Report %A Broucke, M. %T Model Checking for Hybrid Systems %I EECS Department, University of California, Berkeley %D 2000 %@ UCB/ERL M00/36 %U http://www.eecs.berkeley.edu/Pubs/TechRpts/2000/3857.html %F Broucke:M00/36