Skip navigation
ESPAÑOL
ENGLISH
Estadísticas
Qué es accedaCRIS
Ayuda
Iniciar sesión
Menú
Publicaciones
Investigación
Académicas
Tesis
Patentes
Revistas ULPGC
Congresos ULPGC
Vídeos ULPGC
Datasets ULPGC
Personal investigador
Organización
Proyectos
En todo el portal
Publicaciones Investigación
Publicaciones Académicas
Tesis
Proyectos
Patentes
Personal Investigador
Organización
Revistas
Name VI Jornadas de Concurrencia
View Statistics
Email Alert
RSS Feed
Detalles
Publicaciones
Publicaciones
Show/Hide filters
Type
2
actas de congresos
By researcher
1
guerra santana, francisco josé
1
macías lópez, elsa maría
1
martel jordán, ernestina ángeles
1
miranda gonzález, francisco javier
1
santos espino, josé miguel
1
suárez sarmiento, álvaro
1
sánchez rodríguez, david de la cruz
Close filters
Show/Hide filters
Select All
Refman
EndNote
Bibtex
RefWorks
CSV
Excel
Send via email
Title
Issue Date
Una aproximación a la verificación formal de la comunicación en programas paralelos
Suárez Sarmiento, Álvaro
; Macías López, Elsa María
; Marrero Ruiz, Mario; Castellano, Juan P.; Sánchez Rodríguez, David Cruz
, et al.
Fecha de publicación: 1998
Localización:
VI Jornadas de Concurrencia, p. 305-315
Actas de congresos
GLS : un servicio de localización de grupos de procesos
Santos Espino, José Miguel
; Guerra Santana, Francisco José
; Miranda González, Francisco Javier
; Martel Jordán, Ernestina de los Angeles
Fecha de publicación: 1998
Localización:
VI Jornadas de Concurrencia, p. 149-155
Actas de congresos