Thomas Klotz, Bernd Straube, Eva Fordran, Jürgen Haufe, Frank Schulze, Karsten Turek, Thorsten Schmidt. An approach to the verification of material handling systems. In Zoubir Mammeri, editor, IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011. pages 1-8, IEEE, 2011. [doi]
@inproceedings{KlotzSFHSTS11,
title = {An approach to the verification of material handling systems},
author = {Thomas Klotz and Bernd Straube and Eva Fordran and Jürgen Haufe and Frank Schulze and Karsten Turek and Thorsten Schmidt},
year = {2011},
doi = {10.1109/ETFA.2011.6059043},
url = {http://dx.doi.org/10.1109/ETFA.2011.6059043},
researchr = {https://researchr.org/publication/KlotzSFHSTS11},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011},
editor = {Zoubir Mammeri},
publisher = {IEEE},
isbn = {978-1-4577-0018-7},
}