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

Detailseite

Person

Druckansicht

Professor Dr. Michael Huth

Adresse Technische Universität Nürnberg
Strategy and Structure Unit
Ulmenstraße 52i
90443 Nürnberg

Projekte

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

© 2026 DFG Kontakt / Impressum / Datenschutz