TY  - BOOK
AU  - Guoyong Shi ; Esteban Tlelo Cuautle Sheldon X.-D. Tan
TI  - Advanced Symbolic Analysis for VLSI Systems
SN  - 9781493911035
PY  - 2014///
CY  - New York
PB  - Springer
KW  - Instrumentation: Logic Design Engineering: Circuits and Systems: Electronics and Microelectronics
UR  - http://doi.org/10.1007/978-1-4939-1103-5
ER  -