Exploiting Parse Trees in LTL Specification Diagnosis

Publikation: Konferenzband/Beitrag in Buch/Bericht › Konferenzartikel › Begutachtung

Originalsprache	Englisch
Titel	International Workshop on Principles of Diagnosis 2013
Seiten	59-64
Seitenumfang	6
Publikationsstatus	Veröffentlicht - 2013

Dieses zitieren

@inproceedings{06ad0e70f1f84cfc9070a80cf52da823,

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

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

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

year = "2013",

language = "English",

pages = "59--64",

booktitle = "International Workshop on Principles of Diagnosis 2013",

}