Merkliste 
 1 Ergebnisse 
 
1

The automatic generation of functional test vectors for Ram..:

, In: Proceedings of the 33rd annual Design Automation Conference,
Jones, K. D. ; Privitera, J. P. - p. 415-420 , 1996