Dr. Sven Linker

Dr. Sven Linker

Research

My research interests are

  • Modal logic
  • process algebra
  • Theorem proving
  • real-time systems
  • Model checking

Publications

Bibtex file not available or has no entries.

Theses

Bibtex file not available or has no entries.
Webmaster (Changed: 12 Dec 2025)  |  Kurz-URL:Shortlink: https://uol.de/p733en
Zum Seitananfang scrollen Scroll to the top of the page