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 },
}