Fröhlich, Saman
1  Ergebnisse:
Personensuche X
?
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.)
Exemplare: Zentrale; TB BHV;
 
1-1