TY  - RPRT
TI  - Verifying Safety Properties With the TLA+ Proof System
AU  - Kaustuv Chaudhuri
AU  - Damien Doligez
AU  - Leslie Lamport
AU  - Stephan Merz
PY  - 2010
DO  - 10.1007/978-3-642-14203-1_12
UR  - https://arxiv.org/abs/1011.2560
ID  - 1011.2560
ER  -