BibTeX record conf/amast/BragaHMM00

download as .bib file

@inproceedings{DBLP:conf/amast/BragaHMM00,
  author    = {Christiano de O. Braga and
               Edward Hermann Haeusler and
               Jos{\'{e}} Meseguer and
               Peter D. Mosses},
  title     = {Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting
               Logic},
  booktitle = {{AMAST}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1816},
  pages     = {407--421},
  publisher = {Springer},
  year      = {2000}
}
maintained by Schloss Dagstuhl LZI at University of Trier