Dr. Sven Linker

Dr. Sven Linker

Forschung

Meine Forschungsinteressen sind

  • Modallogik
  • Prozessalgebra
  • Theorem-Beweisen
  • Realzeitsysteme
  • Model-Checking

Publikationen

Bibtex Datei konnte nicht geladen werden oder hat keine Einträge.

Abschlussarbeiten

Bibtex Datei konnte nicht geladen werden oder hat keine Einträge.
Webmaster (Stand: 12.12.2025)  |  Kurz-URL:Shortlink: https://uol.de/p733
Zum Seitananfang scrollen Scroll to the top of the page