author = { Beckert, Bernhard AND Ulbrich, Mattias AND Vogel-Heuser, Birgit AND Weigl, Alexander },

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

publisher = {Karlsruher Institut für Technologie},

isbn = {2190-4782},

keywords = { production systems , symbolic model checking , automated , regression verification , DATA processing & computer science , programmable logic controllers (PLC) },

year = {2015-01-01},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

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