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). |