DocumentCode

3849535

Title

RAM Special Issue on Formal Methods for Robotics and Automation

Volume

17

Issue

4

fYear

2010

Firstpage

100

Lastpage

100

Journal_Title

IEEE Robotics & Automation Magazine

Publisher

ieee

ISSN

1070-9932

Type

jour

DOI

10.1109/MRA.2010.938856

Filename

5663471