Detailseite
Projekt Druckansicht

Algorithmen über omega-Automaten und Anwendungen in der Programmkonstruktion und -verifikation

Fachliche Zuordnung Informatik
Förderung Förderung von 1995 bis 2000
Projektkennung Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5210596
 
Keine Zusammenfassung vorhanden
DFG-Verfahren Schwerpunktprogramme
 
 

Zusatzinformationen

Textvergrößerung und Kontrastanpassung