%0 Conference Paper %1 conf/forms/BiallasBKS10 %A Biallas, Sebastian %A Brauer, Jörg %A Kowalewski, Stefan %A Schlich, Bastian %B FORMS/FORMAT %D 2010 %E Schnieder, Eckehard %E Tarnai, Géza %I Springer %K dblp %P 237-245 %T Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. %U http://dblp.uni-trier.de/db/conf/forms/forms2010.html#BiallasBKS10 %@ 978-3-642-14260-4

@inproceedings{conf/forms/BiallasBKS10, added-at = {2012-03-06T00:00:00.000+0100}, author = {Biallas, Sebastian and Brauer, Jörg and Kowalewski, Stefan and Schlich, Bastian}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fee48e4ecaacdee18de8015900318ca0/dblp}, booktitle = {FORMS/FORMAT}, crossref = {conf/forms/2010}, editor = {Schnieder, Eckehard and Tarnai, Géza}, ee = {http://dx.doi.org/10.1007/978-3-642-14261-1_24}, interhash = {710fb923efa71fb07333cc8787439bc3}, intrahash = {fee48e4ecaacdee18de8015900318ca0}, isbn = {978-3-642-14260-4}, keywords = {dblp}, pages = {237-245}, publisher = {Springer}, timestamp = {2016-02-02T14:36:18.000+0100}, title = {Automatically Deriving Symbolic Invariants for PLC Programs Written in IL.}, url = {http://dblp.uni-trier.de/db/conf/forms/forms2010.html#BiallasBKS10}, year = 2010 }