Olga Thoss

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Functional Verification

Concurrent Systems

Top Venues

GI-Jahrestagung

Publications

Olga Thoss, Andreas Werner, Robert Kaiser, Reinhold Kröger
Unified Approach to Static and Runtime Verification. GI-Jahrestagung (2020)