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
Person
Professor Dr. Markus Müller-Olm
Address
Universität Münster
Institut für Informatik
Einsteinstraße 62
48149 Münster
Projects
As Applicant
Completed projects
Optimale Interprozeduale Analyse von Programmen mit dynamischer Thread-Erzeugung
(Research Grants)
Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs
(Priority Programmes)
Model Checking of Navigation Logics (MoNaLog)
(Research Grants)
Additional Information
© 2025
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung
»