KIT - Karlsruhe Institute of Technology
image/svg+xml
Decentralized Systems and Network Services Research Group - KASTEL
skip navigation
Home
Legals
Privacy Policy
Accessibility
Sitemap
KIT
de
search
search
Research Profile
Teaching
Start
Teaching
Teaching
Courses
Winter Term 2023/24
Summer Term 2023
Exams
Past courses
Theses
Staff
Publications
Start
Publications
Publications
Publications
Talks
Software and Data
Awards
Startpage
Home
Legals
Privacy Policy
Accessibility
Sitemap
search
search
Decentralized Systems and Network Services Research Group - KASTEL
Startpage
Teaching
Theses
Home
Research Profile
Teaching
Staff
Publications
Software and Data
Awards
Teaching
Courses
Winter Term 2023/24
Summer Term 2023
Exams
Past courses
Theses
Theses
Formale Verifikation von PTLC-basierten Multi-Hop Transaktionen mit TLA+
Type:
Masterarbeit
Date:
Dezember 2022
Supervisor:
Grundmann, Matthias
