Stefan Bedenk

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Markus Weißmann, Stefan Bedenk, Christian Buckl, Alois C. Knoll
Model Checking Industrial Robot Systems. SPIN (2011)