Exploiting Parse Trees in LTL Specification Diagnosis

Ingo Hans Pill, Thomas Quaritsch

    Research output: Conference proceeding/Chapter in Book/Report/Conference Paperpeer-review

    Original languageEnglish
    Title of host publicationInternational Workshop on Principles of Diagnosis 2013
    Pages59-64
    Number of pages6
    Publication statusPublished - 2013

    Cite this