Effiziente Konstruktion und Manipulation von binären Entscheidungsgraphen

Media type: Book; Thesis
Title: Effiziente Konstruktion und Manipulation von binären Entscheidungsgraphen
Other titles: Nebent.: Binäre Entscheidungsgraphen
Contributor: Höreth, Stefan [Author]
imprint: Düsseldorf: VDI-Verl., 1999
Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI / 20 ; 29500
Berichte der GI/GMM/ITG-Kooperationsgemeinschaft Rechnergestützter Schaltungs- und Systementwurf
Issue: Als Ms. gedr.
Extent: VIII, 128 S; graph. Darst; 21 cm
Language: German
ISBN: 3183295202
Keywords: Entwurfsautomation > Hardwareverifikation > Formale Methode > Binäres Entscheidungsdiagramm
Origination:
University thesis: Zugl.: Frankfurt am Main, Univ., Diss.
Footnote: Literaturverz. S. 119 - 128

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