Please use this identifier to cite or link to this item:
http://hdl.handle.net/10553/112753
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Suárez Sarmiento, Álvaro | en_US |
| dc.contributor.author | Macías López, Elsa María | en_US |
| dc.contributor.author | Marrero Ruiz, Mario | en_US |
| dc.contributor.author | Castellano, Juan P. | en_US |
| dc.contributor.author | Sánchez Rodríguez, David Cruz | en_US |
| dc.contributor.author | Cazorla, Onassis | en_US |
| dc.contributor.author | Bordon, Juan C. | en_US |
| dc.date.accessioned | 2021-11-19T12:53:08Z | - |
| dc.date.available | 2021-11-19T12:53:08Z | - |
| dc.date.issued | 1998 | en_US |
| dc.identifier.uri | http://hdl.handle.net/10553/112753 | - |
| dc.language | spa | en_US |
| dc.publisher | Universidad Pública de Navarra | en_US |
| dc.source | VI Jornadas de Concurrencia, p. 305-315 | en_US |
| dc.subject | 3325 Tecnología de las telecomunicaciones | en_US |
| dc.title | Una aproximación a la verificación formal de la comunicación en programas paralelos | en_US |
| dc.type | info:eu-repo/semantics/conferenceobject | en_US |
| dc.type | ConferenceObject | en_US |
| dc.relation.conference | VI Jornadas de Concurrencia | en_US |
| dc.identifier.url | https://dialnet.unirioja.es/servlet/articulo?codigo=5502795 | - |
| dc.description.lastpage | 315 | en_US |
| dc.description.firstpage | 305 | en_US |
| dc.investigacion | Ingeniería y Arquitectura | en_US |
| dc.type2 | Actas de congresos | en_US |
| dc.utils.revision | Sí | en_US |
| dc.date.coverdate | Junio 1998 | en_US |
| dc.identifier.ulpgc | Sí | en_US |
| dc.contributor.buulpgc | BU-TEL | en_US |
| item.grantfulltext | none | - |
| item.fulltext | Sin texto completo | - |
| crisitem.event.eventsstartdate | 01-06-1998 | - |
| crisitem.event.eventsenddate | 01-06-1998 | - |
| crisitem.author.dept | GIR IUCES: Arquitectura y Concurrencia | - |
| crisitem.author.dept | IU de Cibernética, Empresa y Sociedad (IUCES) | - |
| crisitem.author.dept | Departamento de Ingeniería Telemática | - |
| crisitem.author.dept | GIR IUCES: Arquitectura y Concurrencia | - |
| crisitem.author.dept | IU de Cibernética, Empresa y Sociedad (IUCES) | - |
| crisitem.author.dept | Departamento de Ingeniería Telemática | - |
| crisitem.author.dept | GIR IDeTIC: División de Redes y Servicios Telemáticos | - |
| crisitem.author.dept | IU para el Desarrollo Tecnológico y la Innovación | - |
| crisitem.author.dept | Departamento de Ingeniería Telemática | - |
| crisitem.author.orcid | 0000-0002-3043-7161 | - |
| crisitem.author.orcid | 0000-0002-9085-8398 | - |
| crisitem.author.orcid | 0000-0003-2700-1591 | - |
| crisitem.author.parentorg | IU de Cibernética, Empresa y Sociedad (IUCES) | - |
| crisitem.author.parentorg | IU de Cibernética, Empresa y Sociedad (IUCES) | - |
| crisitem.author.parentorg | IU para el Desarrollo Tecnológico y la Innovación | - |
| crisitem.author.fullName | Suárez Sarmiento, Álvaro | - |
| crisitem.author.fullName | Macías López, Elsa María | - |
| crisitem.author.fullName | Sánchez Rodríguez, David De La Cruz | - |
| Appears in Collections: | Actas de congresos | |
Items in accedaCRIS are protected by copyright, with all rights reserved, unless otherwise indicated.