TY  - RPRT
TI  - Model Checking in multiplayer games development
AU  - Ruslan Rezin
AU  - Ilya Afanasyev
AU  - Manuel Mazzara
AU  - Victor Rivera
PY  - 2017
DO  - 10.1109/aina.2018.00122
UR  - https://arxiv.org/abs/1712.01207
ID  - 1712.01207
ER  -