1996
Coalgebraic specifications and models of deterministic hybrid systems
Publication
Publication
Presented at the
Algebraic methodology and software technology, Munich, Germany
Additional Metadata | |
---|---|
, | |
Springer | |
Lecture Notes in Computer Science | |
Algebraic methodology and software technology | |
Jacobs, B. P. F. (1996). Coalgebraic specifications and models of deterministic hybrid systems. In Algebraic Methodology and Software Technology \\\ (pp. 520–535). Springer. |