by Sebastian Biallas, Stefan Kowalewski, Bastian Schlich
Reference:
Automatische Wertebereichsanalyse — Formale Verifikation für SPS-Programme (Sebastian Biallas, Stefan Kowalewski, Bastian Schlich), In Automatisierungstechnische Praxis (atp EDITION), 54. Jahrgang, 7-8/2012, Oldenbourg Industrieverlag, 2012.
Bibtex Entry:
@article { BKS12c, author = { Biallas, Sebastian and Kowalewski, Stefan and Schlich, Bastian }, title = { Automatische Wertebereichsanalyse -- Formale Verifikation f{"u}r SPS-Programme }, journal = { Automatisierungstechnische Praxis (atp EDITION), 54. Jahrgang, 7-8/2012 }, year = { 2012 }, pages = { 68--74 }, publisher = { Oldenbourg Industrieverlag }, publishedas = { Druck }, issn = { 2190-4111 }, i11key = { journal }, language = { ger }, i11projectkey = { Arcade }, timestamp = { 2012.08.02 }, for_reporting_period = { 2012 }, }