@misc{indiciae6f60daa5e2f5,
  title = {Local Reasoning about Parametric and Reconfigurable Component-based Systems},
  author = {Marius Bozga and Radu Iosif and Joseph Sifakis},
  year = {2019},
  url = {https://arxiv.org/abs/1908.11345},
  note = {Source identifier: 1908.11345}
}