by Sebastian Biallas, Dimitri Bohlender, Stefan Kowalewski
Reference:
Boolean and Modular Abstractions for Programmable Logic Controllers (Sebastian Biallas, Dimitri Bohlender, Stefan Kowalewski), In Dependable Control of Discrete Systems (DCDS’13), IEEE, 2013.
Bibtex Entry:
@inproceedings { BBK13, author = { Biallas, Sebastian and Bohlender, Dimitri and Kowalewski, Stefan }, title = { Boolean and Modular Abstractions for Programmable Logic Controllers }, booktitle = { Dependable Control of Discrete Systems (DCDS'13) }, publisher = { IEEE }, publishedas = { Druck }, isbn = { 978-3-902823-49-6 }, issn = { 1474-6670 }, language = { eng }, pages = { 97--102 }, year = { 2013 }, timestamp = { 2013.06.06 }, i11key = { conference }, i11projectkey = { Arcade }, for_reporting_period = { 2013 }, }