CITATION STYLE
Brayton, R. K. (1993). Logic synthesis and design verification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 697 LNCS, pp. 1–2). Springer Verlag. https://doi.org/10.1007/3-540-56922-7_1
Mendeley helps you to discover research relevant for your work.