Project Details
Person
Professor Dr. Martin Lange
Address
Universität Kassel
Fachbereich 16 - Elektrotechnik / Informatik
Forschungsgruppe Theoretische Informatik/Formale Methoden
Wilhelmshöher Allee 71-73
34121 Kassel
-
As Applicant
-
Completed projects
-
Verifikation nicht-regulärer Eigenschaften (Research Grants) -
From specification to synthesis (Heisenberg Professorships)
-
-
Completed projects
