00419nz a2200121n 4500 n 2004001303 DLC 20040106110542.0 040106n| acannaabn |n aaa n 2004001303 DLC eng DLC Molitor, Paul Molitor, Paul. Equivalence checking of digital circuits, 2004: CIP t.p. (Prof. Dr. Paul Molitor, Martin-Luther University Halle-Wittenberg, Halle (Salle), Germany)