An LTL SAT Encoding for Behavioral Diagnosis

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

Originalsprache	Englisch
Titel	Proceedings of the 23rd International Workshop on Principles of Diagnosis
Seiten	67-74
Seitenumfang	8
Publikationsstatus	Veröffentlicht - 2012

Dieses zitieren

@inproceedings{781a227949364e878becb2149028e6b9,

title = "An LTL SAT Encoding for Behavioral Diagnosis",

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

note = "International Workshop on Principles of Diagnosis ; Conference date: 31-07-2012 Through 03-08-2012",

year = "2012",

language = "English",

pages = "67--74",

booktitle = "Proceedings of the 23rd International Workshop on Principles of Diagnosis",

}