Zur Kurzanzeige

Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise

dc.contributor.authorMeinel, Christoph
dc.contributor.authorTheobald, Thorsten
dc.date1997-10-01
dc.date.accessioned2018-01-05T20:08:05Z
dc.date.available2018-01-05T20:08:05Z
dc.date.issued1997
dc.identifier.issn1432-122X
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/10502
dc.publisherSpringer-Verlag
dc.relation.ispartofInformatik-Spektrum: Vol. 20, No. 5
dc.relation.ispartofseriesInformatik-Spektrum
dc.subjectbinäre Entscheidungsgraphen.
dc.subjectbinary decision diagrams.
dc.subjectData structures for Boolean functions
dc.subjectDatenstrukturen für Boolesche Funktionen
dc.subjectformal verification
dc.subjectformale Verifikation
dc.subjecthighly integrated circuits
dc.subjecthochintegrierte Schaltungen
dc.subject  Computer-aided design
dc.subject  rechnergestützter Entwurf
dc.subjectVLSI design
dc.subjectVLSI Design
dc.titleGeordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise
dc.typeText/Journal Article
dc.pubPlaceBerlin Heidelberg
mci.reference.pages268-275
gi.identifier.doi10.1007/s002870050072


Dateien zu dieser Ressource

DateienGrößeFormatAnzeige

Zu diesem Dokument gibt es keine Dateien.

Zur Kurzanzeige