A formalization of the SMEPP model in Maude - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Francisco DurÃ¡n' in GoogleThis author has not been identified. Look up 'Francisco GutiÃ©rrez' in GoogleThis author has not been identified. Look up 'Pablo LÃ³pez' in GoogleIdentified as Ernesto Pimentel

runs on WebDSL