Detailseite
Person
Professor Dr. Martin Lange
Adresse
Universität Kassel
Fachbereich 16 - Elektrotechnik / Informatik
Forschungsgruppe Theoretische Informatik/Formale Methoden
Wilhelmshöher Allee 71-73
34121 Kassel
-
Als Antragsteller
-
abgeschlossene Projekte
-
Verifikation nicht-regulärer Eigenschaften (Sachbeihilfen) -
Von Spezifikation zu Synthese (Heisenberg-Professuren)
-
-
abgeschlossene Projekte
