Merkliste 
 1 Ergebnisse 
 
1

Exploiting suspected redundancy without proving it:

, In: Proceedings of the 42nd annual Design Automation Conference,
Mony, Hari ; Baumgartner, Jason ; Paruthi, Viresh. - p. 463-466 , 2005