Birgit Hofer, Radu Mateescu 0001, Wendelin Serwe, Franz Wotawa. Using LNT Formal Descriptions for Model-Based Diagnosis. In Louise Travé-Massuyès, Anna Sztyber, editors, Proceedings of the 29th International Workshop on Principles of Diagnosis co-located with 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2018), Warsaw, Poland, 27-30 August, 2018. Volume 2289 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]
@inproceedings{Hofer0SW18,
title = {Using LNT Formal Descriptions for Model-Based Diagnosis},
author = {Birgit Hofer and Radu Mateescu 0001 and Wendelin Serwe and Franz Wotawa},
year = {2018},
url = {http://ceur-ws.org/Vol-2289/paper2.pdf},
researchr = {https://researchr.org/publication/Hofer0SW18},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 29th International Workshop on Principles of Diagnosis co-located with 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2018), Warsaw, Poland, 27-30 August, 2018},
editor = {Louise Travé-Massuyès and Anna Sztyber},
volume = {2289},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}