%0 Journal Article %1 journals/deds/BohlenderK20 %A Bohlender, Dimitri %A Kowalewski, Stefan %D 2020 %J Discrete Event Dynamic Systems %K dblp %N 1 %P 1-24 %T Leveraging Horn clause solving for compositional verification of PLC software. %U http://dblp.uni-trier.de/db/journals/deds/deds30.html#BohlenderK20 %V 30

@article{journals/deds/BohlenderK20, added-at = {2020-03-19T00:00:00.000+0100}, author = {Bohlender, Dimitri and Kowalewski, Stefan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/204aa121a9f3ae204bef4b1d6a294eaa8/dblp}, ee = {https://doi.org/10.1007/s10626-019-00296-8}, interhash = {76984dd3f5c6ba00659cd1df7a912ba0}, intrahash = {04aa121a9f3ae204bef4b1d6a294eaa8}, journal = {Discrete Event Dynamic Systems}, keywords = {dblp}, number = 1, pages = {1-24}, timestamp = {2020-04-20T12:46:40.000+0200}, title = {Leveraging Horn clause solving for compositional verification of PLC software.}, url = {http://dblp.uni-trier.de/db/journals/deds/deds30.html#BohlenderK20}, volume = 30, year = 2020 }