TY  - RPRT
TI  - Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics
AU  - Alessio Lomuscio
AU  - Wojciech Penczek
PY  - 2007
UR  - https://arxiv.org/abs/0709.0446
ID  - 0709.0446
ER  -