%0 Conference Paper %1 conf/ftscs/LeeKB22 %A Lee, Jaeseo %A Kim, Sangki %A Bae, Kyungmin %B FTSCS %D 2022 %E Artho, Cyrille %E Ölveczky, Peter Csaba %I ACM %K dblp %P 56-67 %T Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT. %U http://dblp.uni-trier.de/db/conf/ftscs/ftscs2022.html#LeeKB22 %@ 978-1-4503-9907-4

@inproceedings{conf/ftscs/LeeKB22, added-at = {2022-12-05T00:00:00.000+0100}, author = {Lee, Jaeseo and Kim, Sangki and Bae, Kyungmin}, biburl = {https://www.bibsonomy.org/bibtex/2bcdee6c08bc1e94ef4bd576df8f795ca/dblp}, booktitle = {FTSCS}, crossref = {conf/ftscs/2022}, editor = {Artho, Cyrille and Ölveczky, Peter Csaba}, ee = {https://doi.org/10.1145/3563822.3568016}, interhash = {04684cd54206ccd6fc67441cc16ffbea}, intrahash = {bcdee6c08bc1e94ef4bd576df8f795ca}, isbn = {978-1-4503-9907-4}, keywords = {dblp}, pages = {56-67}, publisher = {ACM}, timestamp = {2024-04-09T12:56:25.000+0200}, title = {Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT.}, url = {http://dblp.uni-trier.de/db/conf/ftscs/ftscs2022.html#LeeKB22}, year = 2022 }