Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen
-
nidottu
,
Saksa, 1999