Formal Models of Robots: Geometry & Kinematics |
| | Type | Book [Chapter] | | Book title | A Classical Mind,\/, Festschrift for C.A.R. Hoare | | Editors | W.Roscoe and J.Woodcock | | Year | 1994 pp. 37-58 | | Publisher | Prentice-Hall | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|