Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise
- Vollständige Referenz
- 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: Feedback abschicken
Mehr Information
ISSN: 1432-122X
Datum: 1997
Typ: 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

