User: Guest  Login
Author(s):
Weissmann, Markus; Bedenk, Stefan; Buckl, Christian; Knoll, Alois 
Title:
Model Checking Industrial Robot Systems 
Keywords:
model checking, abstract interpretation, industrial robots, distributed systems, robotics 
Book / Congress title:
Proceedings of the 18th International Workshop on Model Checking of Software (SPIN 2011) 
Publisher:
Springer 
Year:
2011 
Pages:
161--176 
Bookseries title:
LNCS