TY  - RPRT
TI  - Specification Patterns for Robotic Missions
AU  - Claudio Menghi
AU  - Christos Tsigkanos
AU  - Patrizio Pelliccione
AU  - Carlo Ghezzi
AU  - Thorsten Berger
PY  - 2019
UR  - https://arxiv.org/abs/1901.02077
ID  - 1901.02077
ER  -