TY  - RPRT
TI  - Local Reasoning about Parametric and Reconfigurable Component-based Systems
AU  - Marius Bozga
AU  - Radu Iosif
AU  - Joseph Sifakis
PY  - 2019
UR  - https://arxiv.org/abs/1908.11345
ID  - 1908.11345
ER  -