by Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich
Reference:
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL (Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich), In FORMS/FORMAT 2010 (Eckehard Schnieder, Geza Tarnai, eds.), Springer Berlin Heidelberg, 2011.
Bibtex Entry:
@inproceedings { BBKS10,
author = { Biallas, Sebastian and Brauer, J{"o}rg and Kowalewski,
Stefan and Schlich, Bastian },
title = { Automatically Deriving Symbolic Invariants for {PLC}
Programs Written in {IL} },
booktitle = { FORMS/FORMAT 2010 },
editor = { Schnieder, Eckehard and Tarnai, Geza },
publisher = { Springer Berlin Heidelberg },
publishedas = { Druck },
language = { eng },
year = { 2011 },
timestamp = { 2010.08.19 },
isbn = { 978-3-642-14261-1 },
pages = { 237--245 },
url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bbks10.pdf },
i11key = { conference },
i11projectkey = { Arcade },
for_reporting_period = { 2010 },
}