[IEEE 2012 IEEE International Conference on Robotics and Automation (ICRA) - St Paul, MN, USA (2012.05.14-2012.05.18)] 2012 IEEE International Conference on Robotics and Automation - Proving the correctness of concurrent robot software
Kazanzides, Peter, Kouskoulas, Yanni, Deguet, Anton, Shao, ZhongYear:
2012
Language:
english
DOI:
10.1109/icra.2012.6225285
File:
PDF, 429 KB
english, 2012