Logic Synthesis and Verification Algorithms

Ediciones (2)

• Logic Synthesis and Verification Algorithms (2006)

  Springer · inglés · ISBN 9780387310046

• Logic Synthesis and Verification Algorithms (2006)

  Springer London, Limited · inglés · ISBN 9780387310053

Más obras de Gary D. Hachtel

Abstraction Refinement for Large Scale Model Checking