OBDD-basierte Datenstrukturen im industriellen Einsatz
Laufzeit: 01.01.1996 - 31.12.1997
Partner: Arbeitsgruppe des ZFE Siemens
Förderung durch: ZFE (München) und Siemens AG
Kurzfassung
Evaluierung der am Lehrstuhl neuentwickelten Datenstrukturen und Algorithmen im industriellen Einsatz.