Thomas Klotz, Jens Schönherr, Norman Seßler, Bernd Straube, Karsten Turek. Automated Formal Verification of Routing in Material Handling Systems. IEEE T. Automation Science and Engineering, 10(4):900-915, 2013. [doi]
No reviews for this publication, yet.