Please use this identifier to cite or link to this item: http://hdl.handle.net/10553/61069
Title: Especificación y verificación formal de un sistema de administración de redes distribuido con árbitro
Authors: Marrero Ruiz, Mario
Director: Suárez Sarmiento, Álvaro 
UNESCO Clasification: 3325 Tecnología de las telecomunicaciones
Keywords: Telecomunicaciones
Electrónica
Issue Date: 2001
Faculty: Escuela de Ingeniería de Telecomunicación y Electrónica
Degree: Ingeniero de Telecomunicación
URI: http://hdl.handle.net/10553/61069
Rights: Acceso restringido para la comunidad universitaria de la ULPGC
Appears in Collections:Proyecto fin de carrera
Restringido ULPGC
Thumbnail
Adobe PDF (16,57 MB)
This file is reserved to the following groups: autenticados

En el caso de que no encuentre el documento puede ser debido a que el centro o las/os autoras/es no autorizan su publicación. Si tiene verdadero interés en el contenido del mismo, puede dirigirse al director/a o directores/as del trabajo cuyos datos encontrará más arriba.

Show full item record

Page view(s)

12
checked on Sep 11, 2021

Download(s)

4
checked on Sep 11, 2021

Google ScholarTM

Check


Share



Export metadata



Items in accedaCRIS are protected by copyright, with all rights reserved, unless otherwise indicated.