TY  - RPRT
TI  - Towards a Formal Specification Framework for Manufacturing Execution Systems
AU  - Maria Witsch
AU  - Birgit Vogel-Heuser
PY  - 2022
DO  - 10.1109/tii.2012.2186585
UR  - https://arxiv.org/abs/2212.04878
ID  - 2212.04878
ER  -