Effiziente Algorithmen zur formalen Verifikation von VLSI-Designs
Fachliche Zuordnung
Informatik
Förderung
Förderung von 1995 bis 1999
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5210294
Keine Zusammenfassung vorhanden
DFG-Verfahren
Schwerpunktprogramme
