Effiziente Konstruktion und Manipulation von binären Entscheidungsgraphen

Medientyp: Buch; Hochschulschrift
Titel: Effiziente Konstruktion und Manipulation von binären Entscheidungsgraphen
Weitere Titel: Nebent.: Binäre Entscheidungsgraphen
Beteiligte: Höreth, Stefan [VerfasserIn]
Erschienen: Düsseldorf: VDI-Verl., 1999
Erschienen in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI / 20 ; 29500
Berichte der GI/GMM/ITG-Kooperationsgemeinschaft Rechnergestützter Schaltungs- und Systementwurf
Ausgabe: Als Ms. gedr.
Umfang: VIII, 128 S; graph. Darst; 21 cm
Sprache: Deutsch
ISBN: 3183295202
Schlagwörter: Entwurfsautomation > Hardwareverifikation > Formale Methode > Binäres Entscheidungsdiagramm
Entstehung:
Hochschulschrift: Zugl.: Frankfurt am Main, Univ., Diss.
Anmerkungen: Literaturverz. S. 119 - 128
Weitere Bestandsnachweise
0 : Fortschritt-Berichte VDI / 20

Effiziente Konstruktion und Manipulation von binären Entscheidungsgraphen - [Als Ms. gedr.]