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

Research areas:	Uncategorized	Year:	2006
Type of Publication:	In Proceedings
Authors:	8, 2 David Pereira Paz
Book title:	25th Conference on Computer Communications (INFOCOM). Poster session
Month:	April
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", }