Undecidability of Event Detection for ODEs

K. Ruohonen

    Research output: Book/ReportCommissioned report

    Translated title of the contributionUndecidability of Event Detection for ODEs
    Original languageEnglish
    Place of PublicationTampere
    PublisherTampereen teknillinen korkeakoulu
    Number of pages16
    Publication statusPublished - 1991
    Publication typeD4 Published development or research report or study

    Publication series

    NameTampereen teknillinen korkeakoulu, Sähkötekniikan osasto, Matematiikka, Rapor tti
    PublisherTampereen teknillinen korkeakoulu

    Publication forum classification

    • No publication forum level

    Cite this