TY  - RPRT
TI  - Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
AU  - Omar I. Al-Bataineh
AU  - Ron van der Meyden
PY  - 2010
UR  - https://arxiv.org/abs/1004.5130
ID  - 1004.5130
ER  -