%0 Conference Paper %1 conf/mbmv/BohlenderSK16 %A Bohlender, Dimitri %A Simon, Hendrik %A Kowalewski, Stefan %B MBMV %D 2016 %E Wimmer, Ralf %I Albert-Ludwigs-Universität Freiburg %K dblp %P 33-45 %T Symbolic Verification of PLC Safety-Applications based on PLCopen Automata. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2016.html#BohlenderSK16 %@ 978-3-00-052380-9

@inproceedings{conf/mbmv/BohlenderSK16, added-at = {2017-05-24T00:00:00.000+0200}, author = {Bohlender, Dimitri and Simon, Hendrik and Kowalewski, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2fb725f937aa77937b4395473617d7c3c/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2016}, editor = {Wimmer, Ralf}, ee = {https://doi.org/10.6094/UNIFR/10636}, interhash = {edc8de2ebace29d3a730764be9c21b29}, intrahash = {fb725f937aa77937b4395473617d7c3c}, isbn = {978-3-00-052380-9}, keywords = {dblp}, pages = {33-45}, publisher = {Albert-Ludwigs-Universität Freiburg}, timestamp = {2019-07-12T11:41:39.000+0200}, title = {Symbolic Verification of PLC Safety-Applications based on PLCopen Automata.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2016.html#BohlenderSK16}, year = 2016 }