External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Model Checking in Multiplayer Games Development

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]

Authors

Ruslan Rezin

This author has not been identified. Look up 'Ruslan Rezin' in Google

Ilya Afanasyev

This author has not been identified. Look up 'Ilya Afanasyev' in Google

Manuel Mazzara

This author has not been identified. It may be one of the following persons: Look up 'Manuel Mazzara' in Google

Victor Rivera

This author has not been identified. Look up 'Victor Rivera' in Google
runs on