KKL05a.bib
KKL05a.bib
—
Bibtex bibliographic data,
337 bytes
File contents
@InProceedings{KKL05a,
author={M.~Kim and K.~C.~Kang and H.~Lee},
title="Formal Verification of Robot Movements - a Case Study on Home Service Robot {SHR100}",
booktitle="IEEE International Conference on Robotics and Automation (ICRA)",
pages="4739--4744",
year=2005,
month="April 18-22",
address="Barcelona, Spain"
}
