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

dc.contributor.author	Meinel, Christoph
dc.contributor.author	Theobald, Thorsten
dc.date.accessioned	2018-01-05T20:08:05Z
dc.date.available	2018-01-05T20:08:05Z
dc.date.issued	1997
dc.identifier.pissn	1432-122X
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/10502
dc.publisher	Springer-Verlag
dc.relation.ispartof	Informatik-Spektrum: Vol. 20, No. 5
dc.relation.ispartofseries	Informatik-Spektrum
dc.subject	binäre Entscheidungsgraphen.
dc.subject	binary decision diagrams.
dc.subject	Data structures for Boolean functions
dc.subject	Datenstrukturen für Boolesche Funktionen
dc.subject	formal verification
dc.subject	formale Verifikation
dc.subject	highly integrated circuits
dc.subject	hochintegrierte Schaltungen
dc.subject	Computer-aided design
dc.subject	rechnergestützter Entwurf
dc.subject	VLSI design
dc.subject	VLSI Design
dc.title	Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise
dc.type	Text/Journal Article
gi.citation.endPage	275
gi.citation.publisherPlace	Berlin Heidelberg
gi.citation.startPage	268

Sammlungen