Merkliste 
 1 Ergebnisse 
 
1

Improving coverage analysis and test generation for large d..:

, In: Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design,
Bergmann, Jules P. ; Horowitz, Mark A. - p. 580-583 , 1999