Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago. A rewriting-based forwards semantics for Maude-NPA. In Laurie A. Williams, David M. Nicol, Munindar P. Singh, editors, Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014. pages 3, ACM, 2014. [doi]
@inproceedings{EscobarMMS14-0,
title = {A rewriting-based forwards semantics for Maude-NPA},
author = {Santiago Escobar and Catherine Meadows and José Meseguer and Sonia Santiago},
year = {2014},
doi = {10.1145/2600176.2600186},
url = {http://doi.acm.org/10.1145/2600176.2600186},
researchr = {https://researchr.org/publication/EscobarMMS14-0},
cites = {0},
citedby = {0},
pages = {3},
booktitle = {Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014},
editor = {Laurie A. Williams and David M. Nicol and Munindar P. Singh},
publisher = {ACM},
isbn = {978-1-4503-2907-1},
}