Deciding an Interval Logic with Accumulated Durations

Michael Reichhardt Hansen, Martin Fränzle

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science
    Volume4424
    PublisherSpringer
    Publication date2007
    Pages201-215
    Publication statusPublished - 2007

    Cite this