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
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3849535
