@misc{indiciae04dbe9830425,
  title = {Model Checking in multiplayer games development},
  author = {Ruslan Rezin and Ilya Afanasyev and Manuel Mazzara and Victor Rivera},
  year = {2017},
  doi = {10.1109/aina.2018.00122},
  url = {https://arxiv.org/abs/1712.01207},
  note = {Source identifier: 1712.01207}
}