Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Tampere University of Technology
Department of Mathematics (aufgelöst)

Address Korkeakoulunkatu 1
33720 Tampere
Finnland

33720 Tampere

Projects

Research Grants
- Completed projects
  - Foundations of Heterogeneous Specifications Using State Machines and Temporal Logic
    (Applicant Lüttgen, Gerald )
  - Logic for Interaction (LINT)
    (Applicant Grädel, Erich )

© 2025 DFG Disclaimer / Copyright / Privacy Policy