URI(s)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: Molitor, Paul. Equivalence checking of digital circuits, 2004:CIP t.p. (Prof. Dr. Paul Molitor, Martin-Luther University Halle-Wittenberg, Halle (Salle), Germany)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 2004-01-06: new
Alternate Formats