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}, }