Sebastian Ulewicz, Birgit Vogel-Heuser, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert. Proving equivalence between control software variants for Programmable Logic Controllers. In 20th IEEE Conference on Emerging Technologies & Factory Automation, ETFA 2015, Luxembourg, September 8-11, 2015. pages 1-5, IEEE, 2015. [doi]