LC control no. | n 2004001303 |
---|---|
Personal name heading | Molitor, Paul |
Found in | Molitor, Paul. Equivalence checking of digital circuits, 2004: CIP t.p. (Prof. Dr. Paul Molitor, Martin-Luther University Halle-Wittenberg, Halle (Salle), Germany) |