TY  - RPRT
TI  - Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics
AU  - X. Huang
AU  - R. van der Meyden
PY  - 2013
UR  - https://arxiv.org/abs/1310.6423
ID  - 1310.6423
ER  -