D. Michael Miller

Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook

Spectral Techniques in VLSI CAD

Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook

Multiple-Valued Logic: Concepts and Representations