Heuristische Suche und Anwendung auf die Protokollvalidation

• Antragsteller: Professor Dr. Thomas Ottmann
• Fachliche Zuordnung: Informatik
• Förderung: Förderung von 1996 bis 2002
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5280794

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Sachbeihilfen