Efficient manipulation of FBDDs by means of a modified OBDD package:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Slobodová, Anna (VerfasserIn), Meinel, Christoph (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Trier Univ., Fachbereich IV, Mathematik, Informatik 1993
Schriftenreihe:Mathematik, Informatik: Forschungsbericht Universität <Trier> 1993,9
Beschreibung:30, III Bl. graph. Darst.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!