Normal view
MARC view
- Hachtel, Gary D
Hachtel, Gary D (Personal Name)
Machine generated authority record
Work cat.: (IN-BhIIT)13907: Hachtel, Gary D. Author, Logic synthesis and verification algorithms /, c2006.