Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

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üftBibliothek

Autoren

Meinel, Christoph (Autor)
Slobodová, Anna (Autor)

Verknüpfte Personen

Christoph Meinel

Beteiligte Einrichtungen

Logo Informatikwissenschaften