TY  - RPRT
TI  - HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification
AU  - Luis Garcia
AU  - Stefan Mitsch
AU  - Andre Platzer
PY  - 2019
DO  - 10.1145/3302509.3311036
UR  - https://arxiv.org/abs/1902.05205
ID  - 1902.05205
ER  -