Identificador persistente para citar o vincular este elemento: http://hdl.handle.net/10553/112753
Título: Una aproximación a la verificación formal de la comunicación en programas paralelos
Autores/as: Suárez Sarmiento, Álvaro 
Macías López, Elsa María 
Marrero Ruiz, Mario
Castellano, Juan P.
Sánchez Rodríguez, David Cruz 
Cazorla, Onassis
Bordon, Juan C.
Clasificación UNESCO: 3325 Tecnología de las telecomunicaciones
Fecha de publicación: 1998
Editor/a: Universidad Pública de Navarra
Conferencia: VI Jornadas de Concurrencia 
URI: http://hdl.handle.net/10553/112753
Fuente: VI Jornadas de Concurrencia, p. 305-315
URL: https://dialnet.unirioja.es/servlet/articulo?codigo=5502795
Colección:Actas de congresos
Vista completa

Visitas

82
actualizado el 23-sep-2024

Google ScholarTM

Verifica


Comparte



Exporta metadatos



Los elementos en ULPGC accedaCRIS están protegidos por derechos de autor con todos los derechos reservados, a menos que se indique lo contrario.