17199203
Results 1 to 1 of 1
Selection :
Formal construction and verification of home service robots : A case studyKIM, Moonzoo; KYO CHUL KANG.Lecture notes in computer science. 2005, pp 429-443, issn 0302-9743, isbn 3-540-29209-8, 1Vol, 15 p.Conference Paper
