Tarik Terzimehic, Monika Wenger, Sebastian Voss, Sten Grüner, Haitham Elfaham. SMT-Based Deployment Calculation in Industrial Automation Domain. In 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019. pages 290-297, IEEE, 2019. [doi]
Abstract is missing.