Formale Beschreibungstechniken (C 1)

• Subject Area: Theoretical Computer Science
• Term: from 1995 to 2003
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5480830

No abstract available

• DFG Programme: Collaborative Research Centres
• Subproject of: SFB 501: Development of Large Systems with Generic Methods
• Applicant Institution: Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• Project Heads: Professor Dr. Jürgen Avenhaus; Professor Dr. Klaus Madlener