G.D. Hachtel Somenzi

titleISBN-13
(ISBN-10)
year of publication
Logic Synthesis and Verification Algorithms978-O-387-31OO4-6
(O-387-31OO4-5)
2006

D,. H.. · D S · G D · G. D. Hachtel · G Hachtel · G S · H.S.

G. D'Haens