TY  - BOOK
AU  - Lam, William K. C.
AU  - Brayton, Robert K.
TI  - Timed boolean functions: a unified formalism for exact timing analysis
SN  - 0792394542
U1  - 621.395 
PY  - 1994///
CY  - Boston
PB  - Kluwer Academic Publishers
KW  - Algebra, Boolean--Data processing
KW  - Computer algorithms
KW  - Integrated circuits--Very large scale integration--Design--Data processing
KW  - Logic design--Data processing
ER  -