Please use this identifier to cite or link to this item:
http://hdl.handle.net/10553/112753
| Title: | Una aproximación a la verificación formal de la comunicación en programas paralelos | Authors: | 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. |
UNESCO Clasification: | 3325 Tecnología de las telecomunicaciones | Issue Date: | 1998 | Publisher: | Universidad Pública de Navarra | Conference: | VI Jornadas de Concurrencia | URI: | http://hdl.handle.net/10553/112753 | Source: | VI Jornadas de Concurrencia, p. 305-315 | URL: | https://dialnet.unirioja.es/servlet/articulo?codigo=5502795 |
| Appears in Collections: | Actas de congresos |
Items in accedaCRIS are protected by copyright, with all rights reserved, unless otherwise indicated.