TY - GEN T1 - Model-Based Diagnostic of Digital Circuits Using Dighint. A1 - Schumacher, Michael Y1 - 1994 N1 - Research Group of Prof. Kohlas, Computer Science Department, University of Fribourg ER -