TY  - RPRT
TI  - Stream Differential Equations: Specification Formats and Solution Methods
AU  - Helle Hvid Hansen
AU  - Clemens Kupke
AU  - Jan Rutten
PY  - 2017
DO  - 10.23638/lmcs-13(1:3)2017
UR  - https://arxiv.org/abs/1609.08367
ID  - 1609.08367
ER  -