Randal E. Bryant. Extraction of Gate Level Models from Transistor Circuits by Four-Valued Symbolic Analysis. In ICCAD. pages 350-353, 1991.
@inproceedings{Bryant91, title = {Extraction of Gate Level Models from Transistor Circuits by Four-Valued Symbolic Analysis}, author = {Randal E. Bryant}, year = {1991}, tags = {analysis, e-science}, researchr = {https://researchr.org/publication/Bryant91}, cites = {0}, citedby = {0}, pages = {350-353}, booktitle = {ICCAD}, }