Unterspezifikation in Prozessalgebren

• Antragstellerin: Professorin Dr. Mila Majster-Cederbaum
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2000 bis 2001
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5200336

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Sachbeihilfen