URI | https://d-nb.info/gnd/1343358566 |
Entitätstyp | Individualisierte Person |
GND-Nummer | 1343358566 |
Affiliation | Technische Universität Dresden |
Akademischer Grad | Dipl.-Math. | Dr.-Ing. |
Ländercode | Deutschland |
Geschlecht | Männlich |
Geburtsdatum | 1989 |
Geburtsort | Zwickau |
Titelangabe | Probabilistic model checking for temporal logics in weighted structures |
Siehe auch |