Using LNT Formal Descriptions for Model-Based Diagnosis.

Birgit Hofer, Radu Mateescu, Wendelin Serwe, Franz Wotawa

Browse the full SAFEProcess paper archive.