A formalization of the SMEPP model in Maude.

Francisco Durn, Francisco Gutirrez, Pablo Lpez, Ernesto Pimentel

Browse the full Mobiquitous paper archive.