Stream differential equations: Specification formats and solution methods

HH Hansen, C Kupke, JJMM Rutten

    Research output: Book/ReportReportScientific

    Original languageEnglish
    Place of Publications.l.
    Publishers.n.
    Number of pages54
    Publication statusPublished - 2014

    Publication series

    Name
    Publishers.n.

    Bibliographical note

    CWI Technical Report FM-1404

    Cite this