BibTeX record conf/rta/ClavelDELMMQ99

download as .bib file

@inproceedings{DBLP:conf/rta/ClavelDELMMQ99,
  author    = {Manuel Clavel and
               Francisco Dur{\'{a}}n and
               Steven Eker and
               Patrick Lincoln and
               Narciso Mart{\'{\i}}{-}Oliet and
               Jos{\'{e}} Meseguer and
               Jose F. Quesada},
  title     = {The Maude System},
  booktitle = {Rewriting Techniques and Applications, 10th International Conference,
               RTA-99, Trento, Italy, July 2-4, 1999, Proceedings},
  pages     = {240--243},
  year      = {1999},
  crossref  = {DBLP:conf/rta/1999},
  url       = {https://doi.org/10.1007/3-540-48685-2\_18},
  doi       = {10.1007/3-540-48685-2\_18},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/ClavelDELMMQ99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/1999,
  editor    = {Paliath Narendran and
               Micha{\"{e}}l Rusinowitch},
  title     = {Rewriting Techniques and Applications, 10th International Conference,
               RTA-99, Trento, Italy, July 2-4, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1631},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48685-2},
  doi       = {10.1007/3-540-48685-2},
  isbn      = {3-540-66201-4},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier