Leight-weight hybrid model checking facilitating online prediction of temporal properties

Gerald Sauter, Henning Dierks, Martin Fränzle, Michael Reichhardt Hansen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publication21st Nordic Workshop on Programming Theory (NWPT'09)
    PublisherDTU Informatik, Danmarks Tekniske Universitet
    Publication date2009
    Pages20-22
    ISBN (Print)978-87-643-0565-4
    Publication statusPublished - 2009
    Event21st Nordic Workshop on Programming Theory - Lyngby, Denmark
    Duration: 14 Dec 200916 Dec 2009
    Conference number: 21
    http://www2.imm.dtu.dk/projects/nwpt09/venue.html

    Workshop

    Workshop21st Nordic Workshop on Programming Theory
    Number21
    CountryDenmark
    CityLyngby
    Period14/12/200916/12/2009
    Internet address

    Cite this

    Sauter, G., Dierks, H., Fränzle, M., & Hansen, M. R. (2009). Leight-weight hybrid model checking facilitating online prediction of temporal properties. In 21st Nordic Workshop on Programming Theory (NWPT'09) (pp. 20-22). DTU Informatik, Danmarks Tekniske Universitet.