%0 Book Section %1 conf/maude/ClavelDELMMTPV07a %A Clavel, Manuel %A Durán, Francisco %A Eker, Steven %A Lincoln, Patrick %A Martí-Oliet, Narciso %A Meseguer, José %A Talcott, Carolyn L. %A Palomino, Miguel %A Verdejo, Alberto %B All About Maude %D 2007 %E Clavel, Manuel %E Durán, Francisco %E Eker, Steven %E Lincoln, Patrick %E Martí-Oliet, Narciso %E Meseguer, José %E Talcott, Carolyn L. %I Springer %K dblp %P 307-338 %T Specifying Parameterized Data Structures in Maude. %U http://dblp.uni-trier.de/db/conf/maude/maude2007.html#ClavelDELMMTPV07a %V 4350 %@ 978-3-540-71940-3

@incollection{conf/maude/ClavelDELMMTPV07a, added-at = {2023-09-20T00:00:00.000+0200}, author = {Clavel, Manuel and Durán, Francisco and Eker, Steven and Lincoln, Patrick and Martí-Oliet, Narciso and Meseguer, José and Talcott, Carolyn L. and Palomino, Miguel and Verdejo, Alberto}, biburl = {https://www.bibsonomy.org/bibtex/2f816cc2921951cb8eff836ecb7b2828c/dblp}, booktitle = {All About Maude}, crossref = {conf/maude/2007}, editor = {Clavel, Manuel and Durán, Francisco and Eker, Steven and Lincoln, Patrick and Martí-Oliet, Narciso and Meseguer, José and Talcott, Carolyn L.}, ee = {https://doi.org/10.1007/978-3-540-71999-1_10}, interhash = {d0a3c2bf23ed0e97da8cb85dbe671458}, intrahash = {f816cc2921951cb8eff836ecb7b2828c}, isbn = {978-3-540-71940-3}, keywords = {dblp}, pages = {307-338}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T07:57:34.000+0200}, title = {Specifying Parameterized Data Structures in Maude.}, url = {http://dblp.uni-trier.de/db/conf/maude/maude2007.html#ClavelDELMMTPV07a}, volume = 4350, year = 2007 }