Original language | Undefined/Unknown |
---|---|
Pages (from-to) | 5-53 |
Number of pages | 49 |
Journal | Journal of Logic and Algebraic Programming |
Issue number | 68 |
Publication status | Published - 2006 |
Continuity controlled hybrid automata
J.A. Bergstra, C.A. Middelburg
Research output: Contribution to journal › Article › Academic › peer-review