MLA

Shi, Guoyong, Sheldon X.-D Tan, and Esteban Tlelo Cuautle. Advanced Symbolic Analysis for Vlsi Systems. Springer New York, 2014.

APA

Shi, G., Tan, S. X.-D, & Tlelo Cuautle, E. (2014). Advanced Symbolic Analysis for VLSI Systems. Springer New York.

Chicago

Shi, Guoyong, Sheldon X.-D Tan, and Esteban Tlelo Cuautle. Advanced Symbolic Analysis for VLSI Systems. : Springer New York, 2014.