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