Termination Criteria for Model Transformation

Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay. Termination Criteria for Model Transformation. In Maura Cerioli, editor, Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Volume 3442 of Lecture Notes in Computer Science, pages 49-63, Springer, 2005. [doi]

@inproceedings{EhrigELTVV05,
  title = {Termination Criteria for Model Transformation},
  author = {Hartmut Ehrig and Karsten Ehrig and Juan de Lara and Gabriele Taentzer and Dániel Varró and Szilvia Varró-Gyapay},
  year = {2005},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3442&spage=49},
  tags = {model-to-model transformation, meta-model, termination, source-to-source, model transformation, Meta-Environment, transformation},
  researchr = {https://researchr.org/publication/EhrigELTVV05},
  cites = {0},
  citedby = {0},
  pages = {49-63},
  booktitle = {Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings},
  editor = {Maura Cerioli},
  volume = {3442},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25420-X},
}