Project Details
Projekt
Formale Analyse von Sequential Funktion Charts
Applicant
Professor Dr. Willem-Paul de Roever
Subject Area
Theoretical Computer Science
Term
from 1999 to 2006
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 5184088
No abstract available
DFG Programme
Research Grants
