Francisco Durán, Salvador Lucas, José Meseguer, Francisco Gutiérrez. Web Services and Interoperability for the Maude Termination Tool. Electronic Notes in Theoretical Computer Science, 248:83-92, 2009. [doi]
@article{DuranLMG09,
title = {Web Services and Interoperability for the Maude Termination Tool},
author = {Francisco Durán and Salvador Lucas and José Meseguer and Francisco Gutiérrez},
year = {2009},
doi = {10.1016/j.entcs.2009.07.061},
url = {http://dx.doi.org/10.1016/j.entcs.2009.07.061},
tags = {web service, termination, web services},
researchr = {https://researchr.org/publication/DuranLMG09},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {83-92},
}