Duration Calculus

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Original languageEnglish
    Title of host publicationLogics of Specification Languages
    EditorsDines Bjørner, Martin C. Henson
    PublisherSpringer
    Publication date2008
    Pages291-341
    ISBN (Print)978-3-540-74106-0
    Publication statusPublished - 2008
    SeriesMonographs in Theoretical Computer Science. An EATCS Series

    Cite this

    Hansen, M. R. (2008). Duration Calculus. In D. Bjørner, & M. C. Henson (Eds.), Logics of Specification Languages (pp. 291-341). Springer. Monographs in Theoretical Computer Science. An EATCS Series