Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Dr. Jan-Georg Smaus

Address Albert-Ludwigs-Universität Freiburg
Institut für Informatik
Lehrstuhl Softwaretechnik
Georges-Köhler-Allee 52
79110 Freiburg

Projects

As Ehemaliger Antragsteller
- Completed projects
  - Computergestützte Verifikation von Automatenkonstruktionen für Model Checking (Research Grants) to 8/2011

© 2024 DFG Disclaimer / Copyright / Privacy Policy