GI LogoGI Logo
  • Anmelden
Digitale Bibliothek
    • Gesamter Bestand

      • Bereiche & Sammlungen
      • Titel
      • Autor
      • Erscheinungsdatum
      • Schlagwort
    • Diese Sammlung

      • Titel
      • Autor
      • Erscheinungsdatum
      • Schlagwort
Digital Bibliothek der Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • Deutsch 
    • English
    • Deutsch
Dokumentanzeige 
  •   Startseite
  • Informatik Spektrum
  • Band 20 (1997)
  • Band 20 - Heft 5 (Oktober 1997)
  • Dokumentanzeige
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   Startseite
  • Informatik Spektrum
  • Band 20 (1997)
  • Band 20 - Heft 5 (Oktober 1997)
  • Dokumentanzeige

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

Autor(en):
Meinel, Christoph [DBLP] ;
Theobald, Thorsten [DBLP]
  • 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 }
}

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

DOI: 10.1007/s002870050072
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
Sammlungen
  • Band 20 - Heft 5 (Oktober 1997) [5]

Zur Langanzeige


Über uns | FAQ | Hilfe | Impressum | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 


Über uns | FAQ | Hilfe | Impressum | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.