%0 Conference Paper %1 journals/entcs/Marti-OlietMV05 %A Martí-Oliet, Narciso %A Meseguer, José %A Verdejo, Alberto %B WRLA %D 2004 %E Martí-Oliet, Narciso %I Elsevier %K dblp %P 417-441 %T Towards a Strategy Language for Maude. %U http://dblp.uni-trier.de/db/journals/entcs/entcs117.html#Marti-OlietMV05 %V 117

@inproceedings{journals/entcs/Marti-OlietMV05, added-at = {2023-09-21T00:00:00.000+0200}, author = {Martí-Oliet, Narciso and Meseguer, José and Verdejo, Alberto}, biburl = {https://www.bibsonomy.org/bibtex/2aa66b26560632ff875a34a445b42ec93/dblp}, booktitle = {WRLA}, crossref = {conf/wrla/2004}, editor = {Martí-Oliet, Narciso}, ee = {https://doi.org/10.1016/j.entcs.2004.06.020}, interhash = {07ef106a62ac2496c552be7afe59f8d9}, intrahash = {aa66b26560632ff875a34a445b42ec93}, keywords = {dblp}, pages = {417-441}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T14:20:33.000+0200}, title = {Towards a Strategy Language for Maude.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs117.html#Marti-OlietMV05}, volume = 117, year = 2004 }