Lam, W. K. C., & Brayton, R. K. (1994). Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis. Springer US.
Chicago Style (17th ed.) CitationLam, William K. C., and Robert K. Brayton. Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis. Boston, MA: Springer US, 1994.
MLA (9th ed.) CitationLam, William K. C., and Robert K. Brayton. Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis. Springer US, 1994.
Warning: These citations may not always be 100% accurate.