%0 Conference Paper %1 conf/calco/OrejasGLE09 %A Orejas, Fernando %A Guerra, Esther %A de Lara, Juan %A Ehrig, Hartmut %B CALCO %D 2009 %E Kurz, Alexander %E Lenisa, Marina %E Tarlecki, Andrzej %I Springer %K dblp %P 383-397 %T Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. %U http://dblp.uni-trier.de/db/conf/calco/calco2009.html#OrejasGLE09 %V 5728 %@ 978-3-642-03740-5

@inproceedings{conf/calco/OrejasGLE09, added-at = {2017-06-15T00:00:00.000+0200}, author = {Orejas, Fernando and Guerra, Esther and de Lara, Juan and Ehrig, Hartmut}, biburl = {https://www.bibsonomy.org/bibtex/2aa7b5f3d4b99e1c2125a5ddfd30daf05/dblp}, booktitle = {CALCO}, crossref = {conf/calco/2009}, editor = {Kurz, Alexander and Lenisa, Marina and Tarlecki, Andrzej}, ee = {https://doi.org/10.1007/978-3-642-03741-2_26}, interhash = {ee4add64749ebbb4e3365c46d8e8862e}, intrahash = {aa7b5f3d4b99e1c2125a5ddfd30daf05}, isbn = {978-3-642-03740-5}, keywords = {dblp}, pages = {383-397}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:20:59.000+0200}, title = {Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.}, url = {http://dblp.uni-trier.de/db/conf/calco/calco2009.html#OrejasGLE09}, volume = 5728, year = 2009 }