TY  - RPRT
TI  - Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols
AU  - Omar I. Al-Bataineh
AU  - Ron van der Meyden
PY  - 2010
UR  - https://arxiv.org/abs/1010.2287
ID  - 1010.2287
ER  -