| title | media type | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|---|
| Hardware Design Verification: Simulation and Formal Method-Based Approaches | Hardcover | 978-0-13-143347-2 (0-13-143347-4) | 2005 |
| Hardware Design Verification: Simulation and Formal Method-Based Approaches | Paperback | 978-0-13-701092-9 (0-13-701092-3) | 2005 |
K L · W. K. · W.L. · William H. K. Lam · William K. · William K.C. Lam · William L.