Accelerating OBDD-minimization by means of structural and semantical properties
Trier: Univ., Mathematik/Informatik 1998 22 S. (Trierer Forschungsberichte ; Nr. 98-25)
Erscheinungsjahr: 1998
Publikationstyp: Buch
Sprache: Englisch
| Geprüft: | Bibliothek |
