Merkliste 
 1 Ergebnisse 
 
1

Exakte BDD Minimierung mit Fehlerschranke für den Einsatz ..:

, In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen / Daniel Große, Rolf Drechsler (Hrsg.)
Exemplar: Zentrale; TB BHV;