| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Asynchronous Circuit Design for VLSI Signal Processing | 978-0-7923-9397-9 (0-7923-9397-X) | 1994 | Teresa H. Meng | |
| Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings | 978-3-540-70543-7 (3-540-70543-0) | 2008 | Aarti Gupta | |
| Performance Analysis of Real-Time Embedded Software | 978-0-7923-8382-6 (0-7923-8382-6) | 1998 | Yau-Tsun Steven Li |