%0 Journal Article %1 journals/mscs/0001EGO14 %A Hermann, Frank %A Ehrig, Hartmut %A Golas, Ulrike %A Orejas, Fernando %D 2014 %J Math. Struct. Comput. Sci. %K %N 4 %T Formal analysis of model transformations based on triple graph grammars. %U http://dblp.uni-trier.de/db/journals/mscs/mscs24.html#0001EGO14 %V 24

@article{journals/mscs/0001EGO14, added-at = {2023-12-12T17:26:50.000+0100}, author = {Hermann, Frank and Ehrig, Hartmut and Golas, Ulrike and Orejas, Fernando}, biburl = {https://www.bibsonomy.org/bibtex/2e8647c154631cc30889344d7316784d2/admin}, ee = {https://doi.org/10.1017/S0960129512000370}, interhash = {03c2cfc2f219c2060ab0ba76ec057862}, intrahash = {e8647c154631cc30889344d7316784d2}, journal = {Math. Struct. Comput. Sci.}, keywords = {}, number = 4, timestamp = {2023-12-12T17:26:50.000+0100}, title = {Formal analysis of model transformations based on triple graph grammars.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs24.html#0001EGO14}, volume = 24, year = 2014 }