%0 Conference Paper %1 journals/entcs/Hidalgo-HerreroVO07 %A Hidalgo-Herrero, Mercedes %A Verdejo, Alberto %A Ortega-Mallén, Yolanda %B WRS@FLoC %D 2006 %E Antoy, Sergio %I Elsevier %K dblp %N 10 %P 119-137 %T Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. %U http://dblp.uni-trier.de/db/conf/wrs/wrs2006.html#Hidalgo-HerreroVO07 %V 174

@inproceedings{journals/entcs/Hidalgo-HerreroVO07, added-at = {2023-01-27T00:00:00.000+0100}, author = {Hidalgo-Herrero, Mercedes and Verdejo, Alberto and Ortega-Mallén, Yolanda}, biburl = {https://www.bibsonomy.org/bibtex/22c71eced87ee7177fb56b2a93df991e3/dblp}, booktitle = {WRS@FLoC}, crossref = {conf/wrs/2006}, editor = {Antoy, Sergio}, ee = {https://doi.org/10.1016/j.entcs.2007.02.051}, interhash = {8ea54f6c3e5f43e6da879c2486a7495f}, intrahash = {2c71eced87ee7177fb56b2a93df991e3}, keywords = {dblp}, number = 10, pages = {119-137}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T01:53:45.000+0200}, title = {Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics.}, url = {http://dblp.uni-trier.de/db/conf/wrs/wrs2006.html#Hidalgo-HerreroVO07}, volume = 174, year = 2006 }