1
TITLE: On Applying Incremental Satisfiability to Delay Fault Testing
AUTHORS: Joonyoung Kim; Jesse Whittemore; Karem A Sakallah; João P Marques Silva ;
PUBLISHED: 2000, SOURCE: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France
INDEXED IN: Scopus DBLP CrossRef: 1