%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 }