Using LNT Formal Descriptions for Model-Based Diagnosis

Research output: Contribution to conference › Paper › peer-review

Original language	English
Publication status	Published - 2018
Event	29th International Workshop on Principles of Diagnosis, DX 2018 - Warsaw, Poland Duration: 27 Aug 2018 → 30 Aug 2018

Conference	29th International Workshop on Principles of Diagnosis, DX 2018
Country/Territory	Poland
City	Warsaw
Period	27/08/18 → 30/08/18

Cite this

@conference{a728c143ef8347cca60c1c27198c17f1,

title = "Using LNT Formal Descriptions for Model-Based Diagnosis",

author = "Franz Wotawa and Hofer, {Birgit Gertraud} and Radu Mateescu and Wendelin Serwe",

year = "2018",

language = "English",

note = "29th International Workshop on Principles of Diagnosis, DX 2018 ; Conference date: 27-08-2018 Through 30-08-2018",

}