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 },
}