TY  - RPRT
TI  - A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
AU  - Aron Schnakenbeck
AU  - Robin Mroß
AU  - Marcus Völker
AU  - Stefan Kowalewski
AU  - Alexander Fay
PY  - 2023
DO  - 10.1109/indin51400.2023.10218176
UR  - https://arxiv.org/abs/2306.04584
ID  - 2306.04584
ER  -