Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel. A formalization of the SMEPP model in Maude. In Vinny Cahill, editor, 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services, MobiQuitous 2008, July 21-25, 2008, Dublin, Ireland. ACM, 2008. [doi]
@inproceedings{DuranGLP08, title = {A formalization of the SMEPP model in Maude}, author = {Francisco Durán and Francisco Gutiérrez and Pablo López and Ernesto Pimentel}, year = {2008}, doi = {10.1145/1594978.1595053}, url = {http://doi.acm.org/10.1145/1594978.1595053}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/DuranGLP08}, cites = {0}, citedby = {0}, booktitle = {5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services, MobiQuitous 2008, July 21-25, 2008, Dublin, Ireland}, editor = {Vinny Cahill}, publisher = {ACM}, isbn = {978-963-9799-27-1}, }