1

2

3

4

5
by Lavagno, Luciano, Sangiovanni-Vincentelli, Alberto
Published 1993
Springer US

6

7
by Demir, Alper, Sangiovanni-Vincentelli, Alberto
Published 1998
Springer US

8

9
by Mehrotra, Amit, Sangiovanni-Vincentelli, Alberto
Published 2004
Springer US

10
by Lin, Chung-Wei, Sangiovanni-Vincentelli, Alberto
Published 2017
Springer International Publishing