%0 Conference Paper %1 conf/birthday/ClavelDEELMT15 %A Clavel, Manuel %A Durán, Francisco %A Eker, Steven %A Escobar, Santiago %A Lincoln, Patrick %A Martí-Oliet, Narciso %A Talcott, Carolyn L. %B Logic, Rewriting, and Concurrency %D 2015 %E Martí-Oliet, Narciso %E Ölveczky, Peter Csaba %E Talcott, Carolyn L. %I Springer %K dblp %P 232-254 %T Two Decades of Maude. %U http://dblp.uni-trier.de/db/conf/birthday/meseguer2015.html#ClavelDEELMT15 %V 9200 %@ 978-3-319-23164-8

@inproceedings{conf/birthday/ClavelDEELMT15, added-at = {2021-06-28T00:00:00.000+0200}, author = {Clavel, Manuel and Durán, Francisco and Eker, Steven and Escobar, Santiago and Lincoln, Patrick and Martí-Oliet, Narciso and Talcott, Carolyn L.}, biburl = {https://www.bibsonomy.org/bibtex/256f254ec93c48c7a922bae10c3409df1/dblp}, booktitle = {Logic, Rewriting, and Concurrency}, crossref = {conf/birthday/2015meseguer}, editor = {Martí-Oliet, Narciso and Ölveczky, Peter Csaba and Talcott, Carolyn L.}, ee = {https://doi.org/10.1007/978-3-319-23165-5_11}, interhash = {aade8269d01e4963f75aa5cc33bc6abd}, intrahash = {56f254ec93c48c7a922bae10c3409df1}, isbn = {978-3-319-23164-8}, keywords = {dblp}, pages = {232-254}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:06:14.000+0200}, title = {Two Decades of Maude.}, url = {http://dblp.uni-trier.de/db/conf/birthday/meseguer2015.html#ClavelDEELMT15}, volume = 9200, year = 2015 }