Biblio Export 1 results: RTF EndNote XML Filters: Author is Eleonora Sibilio [Clear All Filters]2011Sibilio, Eleonora. Formal Methods for Wireless Systems. Vol. PhD Thesis. Verona, Italy: Dipartimento di Informatica, Universit`a di Verona, 2011.Google Scholar RTF EndNote XML