Personal tools
You are here: Home Publications bibtex KKL05a.bib

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

Document Actions