Author

Gary D. Hachtel

Catalogue records by Gary D. Hachtel in the PakCat Union Catalogue.

1 catalogue record

Catalogue records

Logic Synthesis and verification algorithms Gary D. Hachtel 1996