Ruslan Rezin, Ilya Afanasyev, Manuel Mazzara, Victor Rivera. Model Checking in Multiplayer Games Development. In Leonard Barolli, Makoto Takizawa 0001, Tomoya Enokido, Marek R. Ogiela, Lidia Ogiela, Nadeem Javaid, editors, 32nd IEEE International Conference on Advanced Information Networking and Applications, AINA 2018, Krakow, Poland, May 16-18, 2018. pages 826-833, IEEE Computer Society, 2018. [doi]
Abstract is missing.