Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
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
)
Additional Information
© 2025
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung