Markus Weißmann, Stefan Bedenk, Christian Buckl und Alois Knoll
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
URLDOIBibTeXZurück