On the formal verification of routing in material handling systems

Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr. On the formal verification of routing in material handling systems. In 2012 IEEE International Conference on Automation Science and Engineering, CASE 2012, Seoul, Korea (South), August 20-24, 2012. pages 8-13, IEEE, 2012. [doi]

Authors

Thomas Klotz

This author has not been identified. Look up 'Thomas Klotz' in Google

Norman Seßler

This author has not been identified. Look up 'Norman Seßler' in Google

Bernd Straube

This author has not been identified. Look up 'Bernd Straube' in Google

Eva Fordran

This author has not been identified. Look up 'Eva Fordran' in Google

Karsten Turek

This author has not been identified. Look up 'Karsten Turek' in Google

Jens Schönherr

This author has not been identified. Look up 'Jens Schönherr' in Google