Peter Backes, Jan Reineke. Abstract topology analysis of the join phase of the merge protocol (using Astra). In Pieter Van Gorp, Steffen Mazanek, Arend Rensink, editors, Transformation Tool Contest. Malaga, 2010.
@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},
}