@inproceedings{DBLP:conf/icmt/ButtnerEGL13, author = {Fabian B{\"u}ttner and Marina Egea and Esther Guerra and Juan de Lara}, title = {Checking Model Transformation Refinement}, booktitle = {ICMT}, year = {2013}, pages = {158-173}, ee = {http://dx.doi.org/10.1007/978-3-642-38883-5_15}, crossref = {DBLP:conf/icmt/2013}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/icmt/2013, editor = {Keith Duddy and Gerti Kappel}, title = {Theory and Practice of Model Transformations, 6th International Conference, ICMT 2013, Proceedings}, booktitle = {ICMT}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {7909}, year = {2013}, isbn = {978-3-642-38882-8}, ee = {http://dx.doi.org/10.1007/978-3-642-38883-5}, bibsource = {DBLP, http://dblp.uni-trier.de} }