Timed boolean functions : unified formalism for exact timing analysis /

by Lam, William K. C.
Published 1994

Hardware design verification : simulation and formal method-based approaches /

by Lam, William K. C., 1962- .
Published 2005