by Bastian Schlich, Jörg Brauer, Jörg Wernerus, Stefan Kowalewski
Reference:
Direct Model Checking of PLC Programs in IL (Bastian Schlich, Jörg Brauer, Jörg Wernerus, Stefan Kowalewski), In Dependable Control of Discrete Systems (DCDS’09), Bari, Italy, 2009.
Bibtex Entry:
@inproceedings { SBWK09, author = { Schlich, Bastian and Brauer, J{"o}rg and Wernerus, J{"o}rg and Kowalewski, Stefan }, booktitle = { Dependable Control of Discrete Systems (DCDS'09), Bari, Italy }, isbn = { 978-3-902661-44-9 }, title = { Direct Model Checking of {PLC} Programs in {IL} }, year = { 2009 }, url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:SBWK09.pdf }, i11key = { conference }, pages = { 28--33 }, for_reporting_period = { Old }, }