Decidability of a Hybrid Duration Calculus

    Research output: Contribution to journalConference articleResearchpeer-review

    Original languageEnglish
    JournalElectronic Notes in Theoretical Computer Science
    Volume174
    Pages (from-to)113-133
    ISSN1571-0661
    Publication statusPublished - 2007
    EventHybrid Logic -
    Duration: 1 Jan 2006 → …

    Conference

    ConferenceHybrid Logic
    Period01/01/2006 → …

    Cite this