1

2
by Lavagno, Luciano, Sangiovanni-Vincentelli, Alberto L.
Published 1993
Springer US

3

4

5

6

7

8
by Mehrotra, Amit, Sangiovanni-Vincentelli, Alberto L.
Published 2004
Springer US

9