A prototype model checker for Duration Calculus

William Pihl Heise, 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
    Pages26-29
    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
    Country/TerritoryDenmark
    CityLyngby
    Period14/12/200916/12/2009
    Internet address

    Cite this