@misc{indiciae6e33addfeb0b,
  title = {Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems},
  author = {Jean-Michel Hufflen},
  year = {2017},
  doi = {10.4204/eptcs.245.5},
  url = {https://arxiv.org/abs/1703.07036},
  note = {Source identifier: 1703.07036}
}