APA (7th ed.) Citation

Deng, Y., & Li, P. (2012). SAT-based verification for analog and mixed-signal circuits. [Texas A&M University].

Chicago Style (17th ed.) Citation

Deng, Yue, and Peng Li. SAT-based Verification for Analog and Mixed-signal Circuits. [College Station, Tex.]: [Texas A&M University], 2012.

MLA (9th ed.) Citation

Deng, Yue, and Peng Li. SAT-based Verification for Analog and Mixed-signal Circuits. [Texas A&M University], 2012.