Clemens Kupke - Research output - University of Strathclyde

View Scopus Profile

Phone01415483121
Emailclemens.kupkestrath.acuk

United Kingdom

20 Conference contribution book
9 Article
5 Paper
3 Chapter
More
- 1 Special issue
- 1 Working paper

1 results

Filter

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 › peer-review

Open Access
File
13 Citations (Scopus)

76 Downloads (Pure)