TY  - RPRT
TI  - The TLA+ Toolbox
AU  - Markus Alexander Kuppe
AU  - Leslie Lamport
AU  - Daniel Ricketts
PY  - 2019
DO  - 10.4204/eptcs.310.6
UR  - https://arxiv.org/abs/1912.10633
ID  - 1912.10633
ER  -