Merkliste 
 1 Ergebnisse 
 
1

Improving constant-coefficient multiplier verification by p..:

, In: Proceedings of the conference on Design, automation and test in Europe,