Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise
- Citation
- BibTeX
Meinel, C. & Theobald, T.,
(1997).
Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise.
Informatik-Spektrum: Vol. 20, No. 5.
Berlin Heidelberg:
Springer-Verlag.
(S. 268-275).
DOI: 10.1007/s002870050072
@article{mci/Meinel1997,
author = {Meinel, Christoph AND Theobald, Thorsten},
title = {Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise},
journal = {Informatik-Spektrum},
volume = {20},
number = {5},
year = {1997},
,
pages = { 268-275 } ,
doi = { 10.1007/s002870050072 }
}
author = {Meinel, Christoph AND Theobald, Thorsten},
title = {Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise},
journal = {Informatik-Spektrum},
volume = {20},
number = {5},
year = {1997},
,
pages = { 268-275 } ,
doi = { 10.1007/s002870050072 }
}
Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.1007/s002870050072
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback
More Info
ISSN: 1432-122X
xmlui.MetaDataDisplay.field.date: 1997
Content Type: Text/Journal Article
Keywords
- binäre Entscheidungsgraphen.
- binary decision diagrams.
- Data structures for Boolean functions
- Datenstrukturen für Boolesche Funktionen
- formal verification
- formale Verifikation
- highly integrated circuits
- hochintegrierte Schaltungen
- Computer-aided design
- rechnergestützter Entwurf
- VLSI design
- VLSI Design