Soumitra Bose
Carnegie-Mellon Univ.
Deriving Logic Systems for Path Delay Test Generation
IEEE Transactions on Computers