Model-Based Diagnosis of Hardware Designs

Gerhard Friedrich, Markus Stumptner, Franz Wotawa. Model-Based Diagnosis of Hardware Designs. Artificial Intelligence, 111(1-2):3-39, 1999. [doi]

Abstract

Abstract is missing.