Starten Sie Ihre Suche...


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

Contributed Papers - Sample Method for Minimization of OBDDs

Lecture notes in computer science. Bd. 1521. Berlin: Springer 1998 S. 419 - 428

Erscheinungsjahr: 1998

ISBN/ISSN: 0302-9743

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren

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

Verbundene Forschungsprojekte

Verknüpfte Personen

Christoph Meinel

Beteiligte Einrichtungen

Logo Informatikwissenschaften