Dr. Sven Linker
Contact
- E-Mail:
Dr. Sven Linker
Research
My research interests are
- Modal logic
- process algebra
- Theorem proving
- real-time systems
- Model checking
(Changed: 11 Feb 2026)
| Kurz-URL:Shortlink: https://uol.de/p733en