@inproceedings{and-Jan-Reineke:TTC:2010,
  title = {Abstract topology analysis of the join phase of the merge protocol (using Astra)},
  author = {Peter Backes and Jan Reineke},
  year = {2010},
  tags = {case study, protocol, analysis},
  researchr = {https://researchr.org/publication/and-Jan-Reineke%3ATTC%3A2010},
  cites = {0},
  citedby = {0},
  booktitle = {Transformation Tool Contest},
  editor = {Pieter Van Gorp and Steffen Mazanek and Arend Rensink},
  address = {Malaga},
}