%0 Conference Paper %1 conf/safeprocess/Hofer0SW18 %A Hofer, Birgit %A Mateescu, Radu %A Serwe, Wendelin %A Wotawa, Franz %B DX %D 2018 %E Travé-Massuyès, Louise %E Sztyber, Anna %I CEUR-WS.org %K dblp %T Using LNT Formal Descriptions for Model-Based Diagnosis. %U http://dblp.uni-trier.de/db/conf/safeprocess/dx2018.html#Hofer0SW18 %V 2289

@inproceedings{conf/safeprocess/Hofer0SW18, added-at = {2023-03-10T00:00:00.000+0100}, author = {Hofer, Birgit and Mateescu, Radu and Serwe, Wendelin and Wotawa, Franz}, biburl = {https://www.bibsonomy.org/bibtex/280d7b06febabe796c3887d19450dd543/dblp}, booktitle = {DX}, crossref = {conf/safeprocess/2018dx}, editor = {Travé-Massuyès, Louise and Sztyber, Anna}, ee = {https://ceur-ws.org/Vol-2289/paper2.pdf}, interhash = {2ee5c6027879359ff8bb806b25f5b251}, intrahash = {80d7b06febabe796c3887d19450dd543}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T00:20:25.000+0200}, title = {Using LNT Formal Descriptions for Model-Based Diagnosis.}, url = {http://dblp.uni-trier.de/db/conf/safeprocess/dx2018.html#Hofer0SW18}, volume = 2289, year = 2018 }