by Sebastian Biallas, Stefan Kowalewski, Bastian Schlich
Reference:
Leistungsfähige Verifikation von industriellen SPS-Programmen mittels Model-Checking und statischer Analyse (Sebastian Biallas, Stefan Kowalewski, Bastian Schlich), In AUTOMATION 2011, Baden-Baden, Germany, VDI-Verlag, 2011.
Bibtex Entry:
@inproceedings { BKS11, address = { D{"u}sseldorf }, author = { Biallas, Sebastian and Kowalewski, Stefan and Schlich, Bastian }, title = { Leistungsf{"a}hige Verifikation von industriellen SPS-Programmen mittels Model-Checking und statischer Analyse }, booktitle = { AUTOMATION 2011, Baden-Baden, Germany }, isbn = { 978-3-18-092143-3 }, issn = { 0083-5560 }, number = { 2143 }, pages = { 67--72 }, publisher = { VDI-Verlag }, publishedas = { Druck }, series = { VDI-Berichte }, language = { eng }, year = { 2011 }, timestamp = { 2011.04.20 }, i11key = { conference }, i11projectkey = { Arcade }, for_reporting_period = { 2011 }, }