Decidability and Undecidability Results for Duration Calculus

Zhou Chaochen, Michael Reichhardt Hansen, P. Sestoft, P. Enjalbert (Editor), A. Finkel (Editor), K. W. Wagner (Editor)

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

    Original languageEnglish
    Title of host publicationSTACS'93
    PublisherSpringer Verlag
    Publication date1993
    Pages58-68
    Publication statusPublished - 1993
    EventSTACS'93 -
    Duration: 1 Jan 1993 → …

    Conference

    ConferenceSTACS'93
    Period01/01/1993 → …

    Cite this