| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Advanced Symbolic Analysis for VLSI Systems: Methods and Applications | 978-1-4939-11O2-8 (1-4939-11O2-3) | 2014 | Sheldon X.-D. Tan · Esteban Tlelo Cuautle |
G.S. · Gang Su · Gengzhe Su · Guang Shi · Guinoiseau-S