Dr. Sven Linker

Kontakt

  • E-Mail:

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.
(Stand: 10.02.2026)  |  Kurz-URL:Shortlink: https://uol.de/p733
Zum Seitananfang scrollen Scroll to the top of the page