Research Output per year
Research Output 2008 2020
2017
Stream differential equations: specification formats and solution methods
Hansen, H. H., Kupke, C. & Rutten, J., 3 Feb 2017, In : Logical Methods in Computer Science. 13, 1, p. 1-52 52 p.Research output: Contribution to journal › Special issue
Open Access
File
Differential equations
Specification
Differential equation
Specifications
Syntactics