Application of Lifting in Partial Design Analysis

Marc Herbstritt, Vanessa Struve, Bernd Becker
2007 2007 Eighth International Workshop on Microprocessor Test and Verification  
doi:10.1109/mtv.2007.7 dblp:conf/mtv/HerbstrittSB07 fatcat:4h3r4xdaijakhjqc6qvpmqth7u