Authors: Tafertshofer, P Ganz, A Antreich, KJ

Citation: P. Tafertshofer et al., IGRAINE - An implication GRaph-bAsed engINE for fast implication, justification, and propagation, IEEE COMP A, 19(8), 2000, pp. 907-927

Authors: Lindermeir, WM Graeb, HE Antreich, KJ

Citation: Wm. Lindermeir et al., Analog testing by characteristic observation inference, IEEE COMP A, 18(9), 1999, pp. 1353-1368