Article,
Model Checking in multiplayer games development.
R. Rezin, I. Afanasyev, M. Mazzara, and V. Rivera.CoRR, (2017)
Meta data
- BibTeX key
- journals/corr/abs-1712-01207
- entry type
- article
- year
- 2017
- journal
- CoRR
- volume
- abs/1712.01207
- ee
- http://arxiv.org/abs/1712.01207
- url
- http://dblp.uni-trier.de/db/journals/corr/corr1712.html#abs-1712-01207
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/corr/abs-1712-01207
%A Rezin, Ruslan
%A Afanasyev, Ilya
%A Mazzara, Manuel
%A Rivera, Victor
%D 2017
%J CoRR
%K dblp
%T Model Checking in multiplayer games development.
%U http://dblp.uni-trier.de/db/journals/corr/corr1712.html#abs-1712-01207
%V abs/1712.01207
@article{journals/corr/abs-1712-01207,
added-at = {2021-09-09T00:00:00.000+0200},
author = {Rezin, Ruslan and Afanasyev, Ilya and Mazzara, Manuel and Rivera, Victor},
biburl = {https://www.bibsonomy.org/bibtex/2a8fd5885bd102bcb0b901b3310be419b/dblp},
ee = {http://arxiv.org/abs/1712.01207},
interhash = {793f1dadfe6108917b0b102dc7eef54d},
intrahash = {a8fd5885bd102bcb0b901b3310be419b},
journal = {CoRR},
keywords = {dblp},
timestamp = {2024-04-08T23:46:34.000+0200},
title = {Model Checking in multiplayer games development.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1712.html#abs-1712-01207},
volume = {abs/1712.01207},
year = 2017
}