Merkliste 
 1 Ergebnisse 
 
1

Quick detection of difficult bugs for effective post-silico..:

, In: Proceedings of the 49th Annual Design Automation Conference,
Lin, David ; Hong, Ted ; Fallah, Farzan.. - p. 561-566 , 2012