Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Technische Universität Ilmenau
Fakultät für Informatik und Automatisierung
Institut für Theoretische Informatik

Address Helmholtzplatz 5
98693 Ilmenau
Deutschland

GERiT This institution in GERiT

98693 Ilmenau

Projects

Research Grants
- Completed projects
  - Storage mechanisms as monoids
    (Applicant Kuske, Dietrich )
Research Training Groups
- Completed projects
  - GRK 334: Specification of Discrete Processes and Systems of Processes by Operational Models and Logics
    (Spokesperson Vogler, Heiko )

© 2024 DFG Disclaimer / Copyright / Privacy Policy