Change Management for Heterogeneous Development Graphs
@incollection{AHM-10-a, author = {Serge Autexier and Dieter Hutter and Till Mossakowski}, editor = {Simon Siegler and Nathan Wasser}, booktitle = {Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther}, title = {Change Management for Heterogeneous Development Graphs}, series = {LNCS}, publisher = {Springer}, month = {november}, year = {2010}, }