@misc{indiciae9c3e9e67d2a8,
  title = {Epistemic Model Checking of Atomic Commitment Protocols with Byzantine Failures},
  author = {Omar Al-Bataineh},
  year = {2017},
  url = {https://arxiv.org/abs/1705.02515},
  note = {Source identifier: 1705.02515}
}