TY  - RPRT
TI  - Formale Entwicklung einer Steuerung für eine Fertigungszelle mit SYSYFOS
AU  - Jochen Burghardt
PY  - 2014
UR  - https://arxiv.org/abs/1404.1227
ID  - 1404.1227
ER  -