TY  - RPRT
TI  - A TLA+ Proof System
AU  - Kaustuv C. Chaudhuri
AU  - Damien Doligez
AU  - Leslie Lamport
AU  - Stephan Merz
PY  - 2008
UR  - https://arxiv.org/abs/0811.1914
ID  - 0811.1914
ER  -