Proceedings of the 18th International Workshop on Model Checking of Software (SPIN 2011), pp. 161–176
Juli 2011 · DOI: 10.1007/978-3-642-22306-8_11
Stichworte: abstract interpretation, distributed systems, industrial robots, model checking, robotics
Url: Weissmann2011.pdf