10th European Summer School in Logic Language and Information: Duration Calculus: A Logical Approach to Real-Time Systems

    Research output: Book/ReportBookResearchpeer-review

    Original languageEnglish
    Place of PublicationSaarbruecken
    PublisherDFKI
    Number of pages159
    Publication statusPublished - 1998
    Event10th European Summer School in Logic Language and Information - Saarbruecken, Germany
    Duration: 17 Aug 199828 Aug 1998
    Conference number: 10

    Conference

    Conference10th European Summer School in Logic Language and Information
    Number10
    CountryGermany
    CitySaarbruecken
    Period17/08/199828/08/1998

    Cite this