Detailseite
Person
Dr. Peter Lammich
Adresse
Technische Universität München
TUM School of Computation, Information and Technology
Lehrstuhl für Logik und Verifikation
Boltzmannstraße 3
85748 Garching
-
Als Antragsteller
-
abgeschlossene Projekte
-
Verifizierte Model Checker (Sachbeihilfen)
-
-
abgeschlossene Projekte
