@inproceedings{21481,
  author       = {{Weidmann, Nils and Fritsche, Lars and Anjorin, Anthony}},
  booktitle    = {{Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020}},
  editor       = {{Lämmel, Ralf and Tratt, Laurcence and de Lara, Juan}},
  isbn         = {{9781450381765}},
  location     = {{Virtual Event, USA}},
  publisher    = {{ACM}},
  title        = {{{A search-based and fault-tolerant approach to concurrent model synchronisation}}},
  doi          = {{10.1145/3426425.3426932}},
  year         = {{2020}},
}