%0 Journal Article %1 journals/isf/NellenDNAW16 %A Nellen, Johanna %A Driessen, Kai %A Neuhäußer, Martin R. %A Ábrahám, Erika %A Wolters, Benedikt %D 2016 %J Inf. Syst. Frontiers %K %N 5 %P 927-952 %T Two CEGAR-based approaches for the safety verification of PLC-controlled plants. %U http://dblp.uni-trier.de/db/journals/isf/isf18.html#NellenDNAW16 %V 18

@article{journals/isf/NellenDNAW16, added-at = {2023-12-14T15:39:12.000+0100}, author = {Nellen, Johanna and Driessen, Kai and Neuhäußer, Martin R. and Ábrahám, Erika and Wolters, Benedikt}, biburl = {https://www.bibsonomy.org/bibtex/2212a6cfb1d365f87507c69fb0704354e/admin}, ee = {https://doi.org/10.1007/s10796-016-9671-9}, interhash = {edde0938365a929036fb7f041121286e}, intrahash = {212a6cfb1d365f87507c69fb0704354e}, journal = {Inf. Syst. Frontiers}, keywords = {}, number = 5, pages = {927-952}, timestamp = {2023-12-14T15:39:12.000+0100}, title = {Two CEGAR-based approaches for the safety verification of PLC-controlled plants.}, url = {http://dblp.uni-trier.de/db/journals/isf/isf18.html#NellenDNAW16}, volume = 18, year = 2016 }