%0 Conference Paper %1 conf/cpsweek/UkegbuM23 %A Ukegbu, Chibuzo %A Mehrpouyan, Hoda %B CPS-IoT Week Workshops %D 2023 %I ACM %K dblp %P 37-42 %T Cooperative Verification of PLC Programs Using CoVeriTeam: Towards a reliable and secure Industrial Control Systems. %U http://dblp.uni-trier.de/db/conf/cpsweek/cpsweek2023w.html#UkegbuM23

@inproceedings{conf/cpsweek/UkegbuM23, added-at = {2023-05-17T00:00:00.000+0200}, author = {Ukegbu, Chibuzo and Mehrpouyan, Hoda}, biburl = {https://www.bibsonomy.org/bibtex/2d2ba5922e48f022fb3e8343138bcef06/dblp}, booktitle = {CPS-IoT Week Workshops}, crossref = {conf/cpsweek/2023w}, ee = {https://doi.org/10.1145/3576914.3587490}, interhash = {ba598a64a6ad291199f5dcb6589fc75e}, intrahash = {d2ba5922e48f022fb3e8343138bcef06}, keywords = {dblp}, pages = {37-42}, publisher = {ACM}, timestamp = {2024-04-09T23:40:51.000+0200}, title = {Cooperative Verification of PLC Programs Using CoVeriTeam: Towards a reliable and secure Industrial Control Systems.}, url = {http://dblp.uni-trier.de/db/conf/cpsweek/cpsweek2023w.html#UkegbuM23}, year = 2023 }