@misc{indiciaef3bded07162f,
  title = {Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols},
  author = {Omar I. Al-Bataineh and Ron van der Meyden},
  year = {2010},
  url = {https://arxiv.org/abs/1010.2287},
  note = {Source identifier: 1010.2287}
}