by Sebastian Biallas, Jörg Brauer, Stefan Kowalewski
Reference:
SAT-Based Abstraction Refinement for Programmable Logic Controllers (Sebastian Biallas, Jörg Brauer, Stefan Kowalewski), In Dependable Control of Discrete Systems (DCDS’11), IEEE, 2011.
Bibtex Entry:
@inproceedings { BBK11, author = { Biallas, Sebastian and Brauer, J{"o}rg and Kowalewski, Stefan }, title = { SAT-Based Abstraction Refinement for Programmable Logic Controllers }, booktitle = { Dependable Control of Discrete Systems (DCDS'11) }, language = { eng }, publisher = { IEEE }, publishedas = { Druck }, isbn = { 978-1-4244-8969-5 }, pages = { 96--101 }, i11key = { conference }, i11projectkey = { Arcade }, year = { 2011 }, timestamp = { 2011.03.15 }, url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bbk11.pdf }, for_reporting_period = { 2011 }, }