Systemanalyse und -designChristoph Meinel × Algorithmen und Datenstrukturen im VLSI-DesignOBDD — Grundlagen und AnwendungenChristoph MeinelSpringer BerlinSoftcover1998