Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Dr. Michael Huth

Adresse Imperial College London
Flowers Building
London SW7 2AZ
Großbritannien

Projekte

Als Gastgeber
- abgeschlossene Projekte
  - Model checking of infinite-state, branching-time systems and specifications (Forschungsstipendien)

© 2025 DFG Kontakt / Impressum / Datenschutz