Abstract topology analysis of the join phase of the merge protocol (using Astra)

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.

Publication has no abstract