Improving the Dependability of Mobile Ad-Hoc Networks through Formal Reasoning

Áreas de investigación:	Sin categoría	Año:	2006
Tipo de publicación:	Artículo en conferencia
Autores:	8, 2 David Pereira Paz
Título del libro:	25th Conference on Computer Communications (INFOCOM). Poster session
Mes:	Abril
BibTex:
@conference{LPPGC06, author = "8,David Pereira Paz,2,12,Esther Casquero Villacorta", booktitle = "25th Conference on Computer Communications (INFOCOM). Poster session", month = "apr", title = "{I}mproving the {D}ependability of {M}obile {A}d-{H}oc {N}etworks through {F}ormal {R}easoning", year = "2006", }