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

    Hansen, M. R., & Hung, D. V. (2007). A theory of Duration Calculus with applications. In C. W. George, Z. Liu, & J. Woodcock (Eds.), Domain Modelling and Duration Calculus (pp. 119-176). Springer. Lecture Notes in Computer Science, No. 4710