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 |
Los elementos en ULPGC accedaCRIS están protegidos por derechos de autor con todos los derechos reservados, a menos que se indique lo contrario.