conference paper published yes Kaja Balzereit author Oliver Niggemann author 103 department 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS) IEEE2020Tampere, Finland eng 10.1109/ICPS48405.2020.9274707 461-468 K. Balzereit, O. Niggemann, in: 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS), IEEE, 2020, pp. 461–468. Balzereit, Kaja, and Oliver Niggemann. “Automated Reconfiguration of Cyber-Physical Production Systems Using Satisfiability Modulo Theories.” In <i>2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)</i>, 461–68. IEEE, 2020. <a href="https://doi.org/10.1109/ICPS48405.2020.9274707">https://doi.org/10.1109/ICPS48405.2020.9274707</a>. Balzereit K, Niggemann O. Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories. In: <i>2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)</i>. IEEE; 2020:461-468. doi:<a href="https://doi.org/10.1109/ICPS48405.2020.9274707">10.1109/ICPS48405.2020.9274707</a> Balzereit, Kaja, and Oliver Niggemann. “Automated Reconfiguration of Cyber-Physical Production Systems Using Satisfiability Modulo Theories.” <i>2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)</i>, IEEE, 2020, pp. 461–68, doi:<a href="https://doi.org/10.1109/ICPS48405.2020.9274707">10.1109/ICPS48405.2020.9274707</a>. K. Balzereit and O. Niggemann, “Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories,” in <i>2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)</i>, Tampere, Finland, 2020, pp. 461–468. @inproceedings{Balzereit_Niggemann_2020, title={Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories}, DOI={<a href="https://doi.org/10.1109/ICPS48405.2020.9274707">10.1109/ICPS48405.2020.9274707</a>}, booktitle={2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)}, publisher={IEEE}, author={Balzereit, Kaja and Niggemann, Oliver}, year={2020}, pages={461–468} } Balzereit, K., &#38; Niggemann, O. (2020). Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories. In <i>2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)</i> (pp. 461–468). Tampere, Finland: IEEE. <a href="https://doi.org/10.1109/ICPS48405.2020.9274707">https://doi.org/10.1109/ICPS48405.2020.9274707</a> <span style="font-variant:small-caps;">Balzereit, Kaja</span> ; <span style="font-variant:small-caps;">Niggemann, Oliver</span>: Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories. In: <i>2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)</i> : IEEE, 2020, S. 461–468 69122026-05-18T14:13:23Z2026-05-18T14:13:35Z