by Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski
Reference:
Predicate Abstraction for Programmable Logic Controllers (Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski), In 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013) (Charles Pecheur, Michael Dierkes, eds.), Springer Berlin Heidelberg, volume 8187, 2013.
Bibtex Entry:
@inproceedings { BGK13, author = { Biallas, Sebastian and Giacobbe, Mirco and Kowalewski, Stefan }, editor = { Pecheur, Charles and Dierkes, Michael }, title = { Predicate Abstraction for Programmable Logic Controllers }, booktitle = { 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013) }, series = { Lecture Notes in Computer Science }, number = { 8187 }, publisher = { Springer Berlin Heidelberg }, publishedas = { Druck }, isbn = { 978-3-642-41009-3 }, language = { eng }, pages = { 123--138 }, year = { 2013 }, timestamp = { 2013.06.27 }, i11key = { conference }, i11projectkey = { Arcade }, volume = { 8187 }, url = { http://publications.embedded.rwth-aachen.de/file/4u }, for_reporting_period = { 2013 }, }