TY  - RPRT
TI  - Refinement Calculus of Reactive Systems
AU  - Viorel Preoteasa
AU  - Stavros Tripakis
PY  - 2014
UR  - https://arxiv.org/abs/1406.6035
ID  - 1406.6035
ER  -