@inproceedings{DBLP:conf/maude/ClavelDELMMTBFHOPSSV07,
author = {Manuel Clavel and
Francisco Dur{\'a}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart\'{\i}-Oliet and
Jos{\'e} Meseguer and
Carolyn L. Talcott and
Christiano Braga and
Azadeh Farzan and
Joe Hendrix and
Peter Csaba {\"O}lveczky and
Miguel Palomino and
Ralf Sasse and
Mark-Oliver Stehr and
Alberto Verdejo},
title = {Some Tools},
booktitle = {All About Maude},
year = {2007},
pages = {667-693},
ee = {http://dx.doi.org/10.1007/978-3-540-71999-1_21},
crossref = {DBLP:conf/maude/2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/maude/2007,
editor = {Manuel Clavel and
Francisco Dur{\'a}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart\'{\i}-Oliet and
Jos{\'e} Meseguer and
Carolyn L. Talcott},
title = {All About Maude - A High-Performance Logical Framework,
How to Specify, Program and Verify Systems in Rewriting
Logic},
booktitle = {All About Maude},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4350},
year = {2007},
isbn = {978-3-540-71940-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-08 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
