%0 Conference Paper %1 conf/sensys/Yang0YZ0022 %A Yang, Zeyu %A He, Liang %A Yu, Hua %A Zhao, Chengcheng %A Cheng, Peng %A Chen, Jiming %B SenSys %D 2022 %E Gummeson, Jeremy %E Lee, Sunghoon Ivan %E Gao, Jie %E Xing, Guoliang %I ACM %K dblp %P 548-562 %T Reverse Engineering Physical Semantics of PLC Program Variables Using Control Invariants. %U http://dblp.uni-trier.de/db/conf/sensys/sensys2022.html#Yang0YZ0022 %@ 978-1-4503-9886-2

@inproceedings{conf/sensys/Yang0YZ0022, added-at = {2023-02-09T00:00:00.000+0100}, author = {Yang, Zeyu and He, Liang and Yu, Hua and Zhao, Chengcheng and Cheng, Peng and Chen, Jiming}, biburl = {https://www.bibsonomy.org/bibtex/23da161b775759d2ce2e8afe53203f99a/dblp}, booktitle = {SenSys}, crossref = {conf/sensys/2022}, editor = {Gummeson, Jeremy and Lee, Sunghoon Ivan and Gao, Jie and Xing, Guoliang}, ee = {https://doi.org/10.1145/3560905.3568521}, interhash = {0e80a95adcf3a0f581a3c836b8140343}, intrahash = {3da161b775759d2ce2e8afe53203f99a}, isbn = {978-1-4503-9886-2}, keywords = {dblp}, pages = {548-562}, publisher = {ACM}, timestamp = {2024-04-09T10:35:31.000+0200}, title = {Reverse Engineering Physical Semantics of PLC Program Variables Using Control Invariants.}, url = {http://dblp.uni-trier.de/db/conf/sensys/sensys2022.html#Yang0YZ0022}, year = 2022 }