Meinel, ChristophTheobald, Thorsten2018-01-052018-01-0519971997https://dl.gi.de/handle/20.500.12116/10502binäre Entscheidungsgraphen.binary decision diagrams.Data structures for Boolean functionsDatenstrukturen für Boolesche Funktionenformal verificationformale Verifikationhighly integrated circuitshochintegrierte Schaltungen Computer-aided design rechnergestützter EntwurfVLSI designVLSI DesignGeordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter SchaltkreiseText/Journal Article1432-122X