TY  - RPRT
TI  - Validating Traces of Distributed Programs Against TLA+ Specifications
AU  - Horatiu Cirstea
AU  - Markus A. Kuppe
AU  - Benjamin Loillier
AU  - Stephan Merz
PY  - 2024
UR  - https://arxiv.org/abs/2404.16075
ID  - 2404.16075
ER  -