KiKa05.bib
KiKa05.bib
—
Bibtex bibliographic data,
337 bytes
File contents
@InProceedings{KiKa05,
author={M.~Kim and K.~C.~Kang},
title="Formal Construction and Verification of Home Service Robots: A Case Study",
booktitle="Automated Technology for Verification and Analysis (ATVA)",
series={LNCS},
volume={3707},
pages="429--443",
year=2005,
month="October 4-7",
address="Taiwan, Taipei"
}
