@article{HansenKupkeRutten:LMCS:2017,
    Author = {Hansen, Helle Hvid and Kupke, Clemens and Rutten, Jan},
    File = {Stream Differential Equations- Specification Formats and Solution Methods - 1609.08367 - a.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {reading},
    Month = {February},
    Title = {{Stream Differential Equations: Specification Formats and Solution Methods}},
    URL = {https://lmcs.episciences.org/3118},
    Volume = {{Volume 13, Issue 1}},
    Year = {2017},
    bdsk-url-1 = {https://lmcs.episciences.org/3118},
    bdsk-url-2 = {https://doi.org/10.23638/LMCS-13(1:3)2017},
    date-added = {2023-03-25 19:40:37 +0100},
    date-modified = {2023-03-25 19:40:37 +0100},
    doi = {10.23638/LMCS-13(1:3)2017}
}

@article{HansenKupkeRutten:LMCS:2017, Author = {Hansen, Helle Hvid and Kupke, Clemens and Rutten, Jan}, File = {Stream Differential Equations- Specification Formats and Solution Methods - 1609.08367 - a.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {reading}, Month = {February}, Title = {{Stream Differential Equations: Specification Formats and Solution Methods}}, URL = {https://lmcs.episciences.org/3118}, Volume = {{Volume 13, Issue 1}}, Year = {2017}, bdsk-url-1 = {https://lmcs.episciences.org/3118}, bdsk-url-2 = {https://doi.org/10.23638/LMCS-13(1:3)2017}, date-added = {2023-03-25 19:40:37 +0100}, date-modified = {2023-03-25 19:40:37 +0100}, doi = {10.23638/LMCS-13(1:3)2017} }