1
TÍTULO: On Applying Incremental Satisfiability to Delay Fault Testing
AUTORES: Joonyoung Kim; Jesse Whittemore; Karem A Sakallah; João P Marques Silva ;
PUBLICAÇÃO: 2000, FONTE: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France
INDEXADO EM: Scopus DBLP CrossRef: 1