TY  - RPRT
TI  - Correct by Construction Resource-based Process Composition
AU  - Petros Papapanagiotou
AU  - Jacques Fleuriot
PY  - 2018
UR  - https://arxiv.org/abs/1803.02613
ID  - 1803.02613
ER  -