Model-Based Diagnosis of Hardware Designs.

Gerhard Friedrich Markus Stumptner Franz Wotawa Model-Based Diagnosis of Hardware Designs. 3-39 1999 111 Artif. Intell. 1-2 db/journals/ai/ai111.html#FriedrichSW99 http://dx.doi.org/10.1016/S0004-3702(99)00034-X