TY  - RPRT
TI  - On Formal Reasoning on the Semantics of PLC using Coq
AU  - Jan Olaf Blech
AU  - Sidi Ould Biha
PY  - 2013
UR  - https://arxiv.org/abs/1301.3047
ID  - 1301.3047
ER  -