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 |
Adobe PDF (16,57 MB)
This file is reserved to the following groups: autenticadosEn 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 recordPage view(s)
29
checked on Sep 23, 2023
Download(s)
13
checked on Sep 23, 2023
Google ScholarTM
Check
Share
Export metadata
Items in accedaCRIS are protected by copyright, with all rights reserved, unless otherwise indicated.