- Author: Chung-Wei Lin, Alberto Sangiovanni-Vincentelli
- Language: English
- Year: 2015
- Author: Chung-Wei Lin Alberto Sangiovanni-Vincentelli (auth.)
- Language: English
- Year: 2017
- Author: Chung-Wei Lin Alberto Sangiovanni Vincentelli
- Language: English
- Year: 2017
- Author: Rajeev Murgai Robert K. Brayton Alberto Sangiovanni-Vincentelli (auth.)
- Language: English
- Year: 1995
- Author: Jacob K. White Alberto Sangiovanni-Vincentelli (auth.)
- Language: English
- Year: 1986
- Author: Amit Mehrotra Alberto Sangiovanni-Vincentelli (auth.)
- Language: English
- Year: 2004