by Bastian Schlich, Stefan Kowalewski, Jörg Wernerus
Reference:
Verifikation von SPS-Programmen in AWL mit Hilfe von direktem Model-Checking (Bastian Schlich, Stefan Kowalewski, Jörg Wernerus), In AUTOMATION 2009, Baden-Baden, Germany, VDI Verlag, 2009.
Bibtex Entry:
@inproceedings { SKW09, address = { D{"u}sseldorf }, author = { Schlich, Bastian and Kowalewski, Stefan and Wernerus, J{"o}rg }, booktitle = { AUTOMATION 2009, Baden-Baden, Germany }, isbn = { 978-3-18-092067-2 }, number = { 2067 }, publisher = { VDI Verlag }, series = { VDI-Berichte }, title = { {Verifikation von SPS-Programmen in AWL mit Hilfe von direktem Model-Checking} }, url = { http://publications.embedded.rwth-aachen.de/file/42 }, year = { 2009 }, i11key = { conference }, for_reporting_period = { Old }, }