| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis | 978-O-7923-9454-9 (O-7923-9454-2) | 1994 | Robert K. Brayton |
C L · C. Lam · K. C. · K L · W.C. · W. K. · W.L. · William C. · William K. · William K. Lam · William L.