The Maude System

Sorry, there's nothing here.


Citations per Year

55 Citations

Semantic Scholar estimates that this publication has 55 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Clavel1999TheMS, title={The Maude System}, 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}, booktitle={RTA}, year={1999} }