A theory of Duration Calculus with applications

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

    Original languageEnglish
    Title of host publicationDomain Modelling and Duration Calculus
    EditorsChris W. George, Zhiming Liu, Jim Woodcock
    PublisherSpringer
    Publication date2007
    Pages119-176
    Publication statusPublished - 2007
    SeriesLecture Notes in Computer Science
    Number4710

    Cite this