Exploiting Parse Trees in LTL Specification Diagnosis

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	International Workshop on Principles of Diagnosis
Publisher	.
Pages	59-64
Publication status	Published - 2013
Event	International Workshop on Principles of Diagnosis - Carcassonne, France Duration: 23 Jun 2004 → 25 Jun 2004

Conference	International Workshop on Principles of Diagnosis
Country/Territory	France
City	Carcassonne
Period	23/06/04 → 25/06/04

Fields of Expertise

FWF - MoDiaForTeD - Model-based Diagnosis for Formal Temporal Descriptions
Quaritsch, S. (Attendee / Assistant) & Pill, I. H. (Project manager)
1/11/10 → 30/06/15
Project: Research project

@inproceedings{e171020fe3f242f1ade619d59abc93c3,

title = "Exploiting Parse Trees in LTL Specification Diagnosis",

author = "Pill, \{Ingo Hans\} and Thomas Quaritsch",

year = "2013",

language = "English",

pages = "59--64",

booktitle = "International Workshop on Principles of Diagnosis",

publisher = ".",

note = "International Workshop on Principles of Diagnosis ; Conference date: 23-06-2004 Through 25-06-2004",

}