Skip navigation
ESPAÑOL
ENGLISH
Statistics
About accedaCRIS
Help
Login
Menu
Publications
Research
Academic
Theses
Patents
ULPGC Journals
ULPGC Conferences
ULPGC Videos
ULPGC Datasets
Researchers
Organization
Fundings
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
By affiliation
1
iu sistemas inteligentes y aplicaciones numéricas
.
< previous
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
Issued date: 1998
Source:
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
Issued date: 1998
Source:
VI Jornadas de Concurrencia, p. 149-155
Actas de congresos