TY  - RPRT
TI  - BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems
AU  - Jan Olaf Blech
AU  - Heinz Schmidt
PY  - 2014
UR  - https://arxiv.org/abs/1404.3537
ID  - 1404.3537
ER  -