Logic Synthesis and Verification Algorithms
Publisher: Kluwer Academic Publishers
Published: 2002
Place of publication: Cleveland
Language: eng
Format: Electronic resource