کتاب های Robert K. Brayton
Logic minimization algorithms for VLSI synthesis
Robert King Brayton, 1984
Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings
Robert K. Brayton (auth.), 1993
Logic Minimization Algorithms for VLSI Synthesis
Robert K. Brayton, 1984
Logic Synthesis and Optimization
Robert K. Brayton, 1993
