Continuity controlled hybrid automata

J.A. Bergstra, C.A. Middelburg

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined/Unknown
Pages (from-to)5-53
Number of pages49
JournalJournal of Logic and Algebraic Programming
Issue number68
Publication statusPublished - 2006

Cite this