Continuity controlled hybrid automata

Authors	J.A. Bergstra C.A. Middelburg
Publication date	2006
Journal	The Journal of Logic and Algebraic Programming
Volume | Issue number	68 | 1-2
Pages (from-to)	5-53
Organisations	Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type	Article
Published at	https://doi.org/10.1016/j.jlap.2005.10.002
Permalink to this page