Advanced Symbolic Analysis for VLSI Systems
  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.