APA Style

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

Chicago Style

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

MLA Style

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

Turabian Style

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