Open Access System for Information Sharing

Login Library

 

Article
Cited 2 time in webofscience Cited 0 time in scopus
Metadata Downloads

Formal construction and verification of home service robots: A case study

Title
Formal construction and verification of home service robots: A case study
Authors
Kim, MKang, KC
Date Issued
Jan-2005
Publisher
SPRINGER-VERLAG BERLIN
URI
http://oasis.postech.ac.kr/handle/2014.oak/24277
ISSN
0302-9743
Article Type
Article
Citation
LECTURE NOTES IN COMPUTER SCIENCE, vol. 3707, page. 429 - 443, 2005-01
Files in This Item:
There are no files associated with this item.

qr_code

  • mendeley

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Views & Downloads

Browse