Efficient manipulation of FBDDs by means of a modified OBDD package:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Slobodová, Anna (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Trier Univ. Trier, Mathematik, Informatik 1993
Schriftenreihe:Trierer Forschungsberichte 93,9
Beschreibung:30 Bl. graph. Darst.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!