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