%0 Conference Paper %1 conf/isrr/TosunJKY15 %A Tosun, Tarik %A Jing, Gangyuan %A Kress-Gazit, Hadas %A Yim, Mark %B ISRR (1) %D 2015 %E Bicchi, Antonio %E Burgard, Wolfram %I Springer %K dblp %P 237-252 %T Computer-Aided Compositional Design and Verification for Modular Robots. %U http://dblp.uni-trier.de/db/conf/isrr/isrr2015-1.html#TosunJKY15 %V 2 %@ 978-3-319-51532-8

@inproceedings{conf/isrr/TosunJKY15, added-at = {2017-12-11T00:00:00.000+0100}, author = {Tosun, Tarik and Jing, Gangyuan and Kress-Gazit, Hadas and Yim, Mark}, biburl = {https://www.bibsonomy.org/bibtex/2e66fdb774948a66ee7f8482daf327901/dblp}, booktitle = {ISRR (1)}, crossref = {conf/isrr/2015-1}, editor = {Bicchi, Antonio and Burgard, Wolfram}, ee = {https://doi.org/10.1007/978-3-319-51532-8_15}, interhash = {345abc4979b4acc12d17cfa1f805a8c3}, intrahash = {e66fdb774948a66ee7f8482daf327901}, isbn = {978-3-319-51532-8}, keywords = {dblp}, pages = {237-252}, publisher = {Springer}, series = {Springer Proceedings in Advanced Robotics}, timestamp = {2017-12-12T11:38:17.000+0100}, title = {Computer-Aided Compositional Design and Verification for Modular Robots.}, url = {http://dblp.uni-trier.de/db/conf/isrr/isrr2015-1.html#TosunJKY15}, volume = 2, year = 2015 }