Merkliste 
 1 Ergebnisse 
 
1

Testability Properties of Vertex Precedent BDDs:

, In: Proceedings of the 13th symposium on Integrated circuits and systems design,
Reis, A. ; Prado, A. ; Lubaszewski, M. - p. 15 ff. , 2000