Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr. Compositional verification of material handling systems. In Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, ETFA 2012, Krakow, Poland, September 17-21, 2012. pages 1-8, IEEE, 2012. [doi]
@inproceedings{KlotzSSFTS12-0,
title = {Compositional verification of material handling systems},
author = {Thomas Klotz and Norman Seßler and Bernd Straube and Eva Fordran and Karsten Turek and Jens Schönherr},
year = {2012},
doi = {10.1109/ETFA.2012.6489595},
url = {http://dx.doi.org/10.1109/ETFA.2012.6489595},
researchr = {https://researchr.org/publication/KlotzSSFTS12-0},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, ETFA 2012, Krakow, Poland, September 17-21, 2012},
publisher = {IEEE},
isbn = {978-1-4673-4735-8},
}