Fröhlich, Saman
2  Ergebnisse:
Personensuche X
?
2

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-2