28 books • 4 series
Formal Verification of Circuits
Binary Decision Diagrams
Evolutionary Algorithms for VLSI CAD
Graphenbasierte Funktionsdarstellung (Xleitfaden Der Informatik)