No photo of Clemens Kupke

View Scopus Profile

Clemens Kupke

Dr

  • United Kingdom

20082020
If you made any changes in Pure these will be visible here soon.

Research Output 2008 2020

Filter
Special issue
2017
4 Citations (Scopus)

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