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]
No references recorded for this publication.
No citations of this publication recorded.