Please use this identifier to cite or link to this item:
https://accedacris.ulpgc.es/handle/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: | https://accedacris.ulpgc.es/handle/10553/61069 |
Rights: | Acceso restringido para la comunidad universitaria de la ULPGC |
Appears in Collections: | Proyecto fin de carrera Restringido ULPGC |
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 recordItems in accedaCRIS are protected by copyright, with all rights reserved, unless otherwise indicated.