Stefan Bedenk

According to our database, Stefan Bedenk authored at least 1 paper in 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Model Checking Industrial Robot Systems.

Markus Weißmann, Stefan Bedenk, Christian Buckl, Alois C. Knoll

Proceedings of the Model Checking Software, 2011