Exploiting Parse Trees in LTL Specification Diagnosis

Ingo Hans Pill, Thomas Quaritsch

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationInternational Workshop on Principles of Diagnosis
Publisher.
Pages59-64
Publication statusPublished - 2013
EventInternational Workshop on Principles of Diagnosis - Carcassonne, France
Duration: 23 Jun 200425 Jun 2004

Conference

ConferenceInternational Workshop on Principles of Diagnosis
CountryFrance
CityCarcassonne
Period23/06/0425/06/04

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Cite this

Pill, I. H., & Quaritsch, T. (2013). Exploiting Parse Trees in LTL Specification Diagnosis. In International Workshop on Principles of Diagnosis (pp. 59-64). ..