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