Hauptnavigation
Unternavigation
Inhalt
Suche
Institute for Software Systems
search in website
en
de
Institute
Research
Lectures
Sitemap
Contact
Service
TUHH
>
STS
>
Research
>
Model Checking & Abstract Interpretation
>
QMTL-VT
QMTL-VT
A quantitative metric temporal logic for verification time