List of publications
| Dokumenttyp | Erscheinungsjahr | Titel | Autoren | Herausgeber |
|---|---|---|---|---|
| doctoralThesis | 2020 | Towards efficient analysis of Markov automata | Butkova, Yuliya |
Welcome
| ORCID: |  https://orcid.org/0000-0002-9678-1467 |
| Name: | Butkova, Yuliya |
| Faculty: | MI - Fakultät für Mathematik und Informatik |
| Department: | MI - Informatik |
| Professorship: | MI - Prof. Dr. Holger Hermanns |
| Display style: |