Proof support for duration calculus

Søren Heilmann

    Research output: Book/ReportBook

    Original languageEnglish
    Place of PublicationLyngby, Denmark
    PublisherDepartment of Information Technology, Technical University of Denmark
    Publication statusPublished - 1999

    Cite this

    Heilmann, S. (1999). Proof support for duration calculus. Department of Information Technology, Technical University of Denmark.