Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/mobiquitous/DuranGLP08
%A Durán, Francisco
%A Gutiérrez, Francisco
%A López, Pablo
%A Pimentel, Ernesto
%B MobiQuitous
%D 2008
%E Cahill, Vinny
%I ICST / ACM
%K dblp
%T A formalization of the SMEPP model in Maude.
%U http://dblp.uni-trier.de/db/conf/mobiquitous/mobiquitous2008.html#DuranGLP08
%@ 978-963-9799-27-1
@inproceedings{conf/mobiquitous/DuranGLP08,
added-at = {2021-06-28T00:00:00.000+0200},
author = {Durán, Francisco and Gutiérrez, Francisco and López, Pablo and Pimentel, Ernesto},
biburl = {https://www.bibsonomy.org/bibtex/2149d6fe47ffb442849bf6388a8ea1d4b/dblp},
booktitle = {MobiQuitous},
crossref = {conf/mobiquitous/2008},
editor = {Cahill, Vinny},
ee = {https://dl.acm.org/citation.cfm?id=1595053},
interhash = {785304a8ceabb0930fea3fb6ac19a56f},
intrahash = {149d6fe47ffb442849bf6388a8ea1d4b},
isbn = {978-963-9799-27-1},
keywords = {dblp},
publisher = {ICST / ACM},
timestamp = {2024-04-10T10:59:59.000+0200},
title = {A formalization of the SMEPP model in Maude.},
url = {http://dblp.uni-trier.de/db/conf/mobiquitous/mobiquitous2008.html#DuranGLP08},
year = 2008
}