TY  - RPRT
TI  - Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology
AU  - Omar I. Al-Bataineh
AU  - Mark Reynolds
PY  - 2018
UR  - https://arxiv.org/abs/1201.3416
ID  - 1201.3416
ER  -