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]
@article{KlotzSSST13,
title = {Automated Formal Verification of Routing in Material Handling Systems},
author = {Thomas Klotz and Jens Schönherr and Norman Seßler and Bernd Straube and Karsten Turek},
year = {2013},
doi = {10.1109/TASE.2013.2276763},
url = {http://dx.doi.org/10.1109/TASE.2013.2276763},
researchr = {https://researchr.org/publication/KlotzSSST13},
cites = {0},
citedby = {0},
journal = {IEEE T. Automation Science and Engineering},
volume = {10},
number = {4},
pages = {900-915},
}