Logic Synthesis for Asynchronous Controllers and Interfaces - 9783642627767

Logic Synthesis for Control Automata by Samary Baranov (1994, Hardcover)

Cortadella - Logic Synthesis for Asynchronous Controllers and Interfac - X555z

Clement - Logic Program Synthesis and Transformation Proceedings of - X555z

Amaru - New Data Structures and Algorithms for Logic Synthesis and Ver - X555z

Logic Synthesis and Verification Algorithms

Amaru - New Data Structures and Algorithms for Logic Synthesis and Ver - X555z

D. Hachtel - Logic Synthesis and Verification Algorithms - New paperba - X555z