author = { Karlsruher Institut für Technologie Fakultät für Informatik Beckert, Bernhard AND Ulbrich, Mattias AND Vogel-Heuser, Birgit AND Weigl, Alexander },

title = { Regression Verification for Programmable Logic Controller Software },

publisher = {KIT Karlsruher Institut für Technologie, Fakultät für Informatik},

keywords = { Forschungsbericht },

year = {2015},

abstract = {Literaturverzeichnis: Seite 15-16},

booktitle = {Karlsruhe reports in informatics ; 2015, 6},

address = { Karlsruhe },

url = { http://slubdd.de/katalog?TN_libero_mab2 }