Juli 2011Model Checking Industrial Robot SystemsMarkus Weißmann, Stefan Bedenk, Christian Buckl und Alois Knoll
In
Proceedings of the 18th International Workshop on Model Checking of Software (SPIN 2011),
Seiten 161–176,
Springer-Verlag.
DetailsURLDOIBIB