%0 Journal Article %1 journals/jot/000122 %A Durán, Francisco %D 2022 %J J. Object Technol. %K dblp %N 4 %P 4:1-12 %T Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools. %U http://dblp.uni-trier.de/db/journals/jot/jot21.html#000122 %V 21

@article{journals/jot/000122, added-at = {2023-01-19T00:00:00.000+0100}, author = {Durán, Francisco}, biburl = {https://www.bibsonomy.org/bibtex/2806a62e5ee95af1df0e54260b0e538a6/dblp}, ee = {https://doi.org/10.5381/jot.2022.21.4.a2}, interhash = {95ccd6360db0800909a9136e0e1861ef}, intrahash = {806a62e5ee95af1df0e54260b0e538a6}, journal = {J. Object Technol.}, keywords = {dblp}, number = 4, pages = {4:1-12}, timestamp = {2024-04-08T12:36:35.000+0200}, title = {Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools.}, url = {http://dblp.uni-trier.de/db/journals/jot/jot21.html#000122}, volume = 21, year = 2022 }