Symbolic model checking - McMillan Kenneth L (Boston Kluwer Academic, 1993)
Keywords: Data processing; Electronic digital computers-circuits-design; Logic design; Symbolic circuit analysis