Model-checking dense-time duration calculus

Martin Fränzle, Michael R. Hansen (Editor)

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationDuration Calculus: A Logical Approach to Real-Time Systems, Workshop Proceedings of the 10th European Summer School in Logic
    PublisherDFKI
    Publication date1998
    Pages31-40
    Publication statusPublished - 1998
    Event10th European Summer School in Logic, Language and Information - Saarbrücken, Germany
    Duration: 17 Aug 199828 Aug 1998
    Conference number: 10

    Conference

    Conference10th European Summer School in Logic, Language and Information
    Number10
    CountryGermany
    CitySaarbrücken
    Period17/08/199828/08/1998

    Cite this