"Stream Differential Equations: Specification Formats and Solution Methods."

Helle Hvid Hansen, Clemens Kupke, Jan Rutten (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics