Daniel Kleebinder
Univ.Ass. Ing. Dipl.-Ing. / BSc
Role
-
PreDoc Researcher
Distributed Systems, E194-02
Courses
2026W
- Distributed Systems / 194.024 / VU
- Seminar in Computer Science (Distributed Systems) / 184.194 / SE
Publications
-
Time-travelling state machines for verifiable BPM
/
Kleebinder, D. (2022). Time-travelling state machines for verifiable BPM [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.99122
Download: PDF (2.51 MB)