Direkt zum Inhalt springen
Direkt zu Textvergrößerung und Kontrast springen
Servicenavigation
DFG Homepage
Impressum / Kontakt
|
Hilfe
|
Datenmonitor
English
Hauptnavigation
Suche
Katalog
Personenindex
Ortsindex
Über GEPRIS
Detailseite
Zurück
Institution
Tampere University of Technology
Department of Mathematics (aufgelöst)
Adresse
Korkeakoulunkatu 1
33720 Tampere
Finnland
33720 Tampere
Projekte
Sachbeihilfen
abgeschlossene Projekte
Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik
(Antragsteller
Lüttgen, Gerald
)
Logic for Interaction (LINT)
(Antragsteller
Grädel, Erich
)
Zusatzinformationen
© 2025
DFG
Kontakt / Impressum
/
Datenschutz
Textvergrößerung und Kontrastanpassung