Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/rita/KimGGM14
%A Kim, Yongho
%A Gomez, Mauricio
%A Goppert, James
%A Matson, Eric T.
%B RiTA
%D 2014
%E Kim, Jong-Hwan
%E Yang, Weimin
%E Jo, Jun
%E Sincak, Peter
%E Myung, Hyun
%I Springer
%K dblp
%P 531-540
%T Model Checking of a Training System Using NuSMV for Humanoid Robot Soccer.
%U http://dblp.uni-trier.de/db/conf/rita/rita2014.html#KimGGM14
%V 345
%@ 978-3-319-16840-1
@inproceedings{conf/rita/KimGGM14,
added-at = {2017-05-26T00:00:00.000+0200},
author = {Kim, Yongho and Gomez, Mauricio and Goppert, James and Matson, Eric T.},
biburl = {https://www.bibsonomy.org/bibtex/24e69fc5cb6ac97ce62b5a1d11875c1c0/dblp},
booktitle = {RiTA},
crossref = {conf/rita/2014},
editor = {Kim, Jong-Hwan and Yang, Weimin and Jo, Jun and Sincak, Peter and Myung, Hyun},
ee = {https://doi.org/10.1007/978-3-319-16841-8_48},
interhash = {dd3d6de50d306811e5b76fe4fb68233f},
intrahash = {4e69fc5cb6ac97ce62b5a1d11875c1c0},
isbn = {978-3-319-16840-1},
keywords = {dblp},
pages = {531-540},
publisher = {Springer},
series = {Advances in Intelligent Systems and Computing},
timestamp = {2018-04-27T11:38:30.000+0200},
title = {Model Checking of a Training System Using NuSMV for Humanoid Robot Soccer.},
url = {http://dblp.uni-trier.de/db/conf/rita/rita2014.html#KimGGM14},
volume = 345,
year = 2014
}