@inproceedings{Fre15h,
title = { An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis },
author = {Frehse, Goran},
year = {2015},
booktitle = {Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015},
crossref = {DBLP:conf/syde/2015},
pages = {50--81},
team = {TEMPO},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/syde/Frehse15},
bibsource = {dblp computer science bibliography, http://dblp.org},
}
