Automated Proof Support for Interval Logics

Thomas Marthedal Rasmussen

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

    Original languageEnglish
    Title of host publication8. LPAR 2001, Havana, Cuba
    PublisherSpringer Verlag
    Publication date2001
    Pages317-326
    Publication statusPublished - 2001

    Cite this