Formal construction and verification of home service robots: A case study
- Formal construction and verification of home service robots: A case study
- Kim, M; Kang, KC
- Date Issued
- SPRINGER-VERLAG BERLIN
- Article Type
- LECTURE NOTES IN COMPUTER SCIENCE, vol. 3707, page. 429 - 443, 2005-01
- Files in This Item:
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.