Acta Structuralica
international journal for structuralist research
Journal | Authors
Model-based diagnosis
2017
Antoni LigęzaBartłomiej Górny
in: Springer handbook of model-based science, Dordrecht : Springer