Duration Calculus: A Logical Approach to Real-Time Systems

    Research output: Book/ReportBookpeer-review

    Original languageEnglish
    PublisherDFKI Saarbrücken
    Publication statusPublished - 1998

    Cite this