Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Markus Müller-Olm

Address Universität Münster
Institut für Informatik
Einsteinstraße 62
48149 Münster

Projects

As Applicant
- Current projects
  - Model Checking of Navigation Logics (MoNaLog) (Research Grants)
- 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)

© 2024 DFG Disclaimer / Copyright / Privacy Policy