%0 Conference Paper %1 conf/fmics/BiallasGK13 %A Biallas, Sebastian %A Giacobbe, Mirco %A Kowalewski, Stefan %B FMICS %D 2013 %E Pecheur, Charles %E Dierkes, Michael %I Springer %K dblp %P 123-138 %T Predicate Abstraction for Programmable Logic Controllers. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2013.html#BiallasGK13 %V 8187 %@ 978-3-642-41009-3

@inproceedings{conf/fmics/BiallasGK13, added-at = {2017-05-21T00:00:00.000+0200}, author = {Biallas, Sebastian and Giacobbe, Mirco and Kowalewski, Stefan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ee91128ebe8058601c32bd1eaf577efe/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2013}, editor = {Pecheur, Charles and Dierkes, Michael}, ee = {https://doi.org/10.1007/978-3-642-41010-9_9}, interhash = {b1fc21a9219d01792216860d1e39a642}, intrahash = {ee91128ebe8058601c32bd1eaf577efe}, isbn = {978-3-642-41009-3}, keywords = {dblp}, pages = {123-138}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:39:38.000+0200}, title = {Predicate Abstraction for Programmable Logic Controllers.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2013.html#BiallasGK13}, volume = 8187, year = 2013 }