@inproceedings{Weissmann2011, author = {Wei{\ss}mann, Markus and Bedenk, Stefan and Buckl, Christian and Knoll, Alois}, title = {{Model Checking Industrial Robot Systems}}, booktitle = {Proceedings of the 18th International Workshop on Model Checking of Software (SPIN 2011)}, publisher = {Springer-Verlag}, series = {LNCS}, pages = {161--176}, year = {2011}, month = jul, owner = {weissmam}, doi = {10.1007/978-3-642-22306-8_11}, keywords = {abstract interpretation, distributed systems, industrial robots, model checking, robotics}, url = {Weissmann2011.pdf}, }