New Data Structures and Algorithms for Logic Synthesis and Verification /

Main Authors: Amaru, Luca Gaetano
Corporate Authors: SpringerLink Online service
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.