TY  - RPRT
TI  - A Systematic Literature Review on a Decade of Industrial TLA+ Practice
AU  - Roman Bögli
AU  - Leandro Lerena
AU  - Christos Tsigkanos
AU  - Timo Kehrer
PY  - 2024
DO  - 10.1007/978-3-031-76554-4_2
UR  - https://arxiv.org/abs/2411.13722
ID  - 2411.13722
ER  -