Advanced Symbolic Analysis for VLSI Systems: Methods and Applications by Guoyong Shi Back to product details page >