%0 Conference Paper %1 conf/iros/LyonsAJHL14 %A Lyons, Damian M. %A Arkin, Ronald C. %A Jiang, Shu %A Harrington, Dagan %A Liu, T. %B IROS %D 2014 %I IEEE %K dblp %P 1495-1502 %T Verifying and validating multirobot missions. %U http://dblp.uni-trier.de/db/conf/iros/iros2014.html#LyonsAJHL14

@inproceedings{conf/iros/LyonsAJHL14, added-at = {2014-11-13T00:00:00.000+0100}, author = {Lyons, Damian M. and Arkin, Ronald C. and Jiang, Shu and Harrington, Dagan and Liu, T.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28cc9c2f205dd6ba984e7453dd4f5a49a/dblp}, booktitle = {IROS}, crossref = {conf/iros/2014}, ee = {http://dx.doi.org/10.1109/IROS.2014.6942754}, interhash = {54d0dc3763fe66989bc1f1476e87a7bb}, intrahash = {8cc9c2f205dd6ba984e7453dd4f5a49a}, keywords = {dblp}, pages = {1495-1502}, publisher = {IEEE}, timestamp = {2016-02-02T15:35:56.000+0100}, title = {Verifying and validating multirobot missions.}, url = {http://dblp.uni-trier.de/db/conf/iros/iros2014.html#LyonsAJHL14}, year = 2014 }