On validating propositional logic system descriptions for fault diagnosis

Open Webpage

Alexander Diedrich, Lukas Moddemann, Oliver Niggemann

Published: 2026, Last Modified: 26 Jan 2026Eng. Appl. Artif. Intell. 2026EveryoneRevisionsBibTeXCC BY-SA 4.0