Hachtel, G. (2003). Logic Synthesis And Verification Algorithms (7.). Kluwer Academic Publishers.
Chicago (17e ed.) BronvermeldingHachtel, G.D. Logic Synthesis And Verification Algorithms. 7. USA: Kluwer Academic Publishers, 2003.
MLA (9e ed.) BronvermeldingHachtel, G.D. Logic Synthesis And Verification Algorithms. 7. Kluwer Academic Publishers, 2003.
Let op: Deze citaties zijn niet altijd 100% accuraat.