2014
A note on typed behavioural differential equations
Publication
Publication
Presented at the
Coalgebraic Methods in Computer Science, Grenoble, France
| Additional Metadata | |
|---|---|
| Coalgebraic Methods in Computer Science | |
| Organisation | Computer Security |
|
Hansen, H., Basold, H., & Rutten, J. (2014). A note on typed behavioural differential equations. In Proceedings of Coalgebraic Methods in Computer Science 2014 (CMCS 0). |
|