TY  - RPRT
TI  - Consistent Checkpointing in Distributed Databases: Towards a Formal Approach
AU  - R. Baldoni
AU  - F. Quaglia
AU  - M. Raynal
PY  - 1999
UR  - https://arxiv.org/abs/cs/9910019
ID  - cs/9910019
ER  -