TY  - RPRT
TI  - Automated Process Planning Based on a Semantic Capability Model and SMT
AU  - Aljosha Köcher
AU  - Luis Miguel Vieira da Silva
AU  - Alexander Fay
PY  - 2024
UR  - https://arxiv.org/abs/2312.08801
ID  - 2312.08801
ER  -