External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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
runs on