Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Universität Kassel
Fachbereich 16 - Elektrotechnik / Informatik
Forschungsgruppe Theoretische Informatik/Formale Methoden

Address Wilhelmshöher Allee 71-73
34121 Kassel
Deutschland

GERiT This institution in GERiT

34121 Kassel

Projects

Research Grants
- Completed projects
  - Verifikation nicht-regulärer Eigenschaften
    (Applicant Lange, Martin )
Heisenberg Professorships
- Completed projects
  - From specification to synthesis
    (Applicant Lange, Martin )

© 2024 DFG Disclaimer / Copyright / Privacy Policy