Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Norbert Müller

Address Universität Trier
Fachbereich IV - Informatikwissenschaften
Behringstraße
54296 Trier

Projects

As Applicant
- Completed projects
  - Comparative Analysis and VERification for Concurrent Correctness-Critical Systems (CAVER) (Research Grants)
  - Wrapping Representations in Exact Real Arithmetic (WERA) (Research Grants)
As Participating Person
- Completed projects
  - Quantitative Uniform Complexity Theory of Multivalued Real Functions and Operators in Analysis (Research Grants)

© 2024 DFG Disclaimer / Copyright / Privacy Policy