Lam, William K C Timed boolean functions: A unified formalism for exact timimg analysis William K C Lam and Robert K Brayton - - Kluwer Academic Publishers, Dordrecht 1994 - - . Subjects--Topical Terms: Computer science Dewey Class. No.: 004 LAM-T