Normal view
MARC view
Hachtel, Gary D (Personal Name)
Machine generated authority record.
Work cat.: (): Hachtel, Gary D., Logic synthesis and verification algorithms /, c1996
