UGR
  |
> >
None
(Ref. TIC-230)
14
marzo
2025
marzo 2025
<- ->
L M X J V S D
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31

Producción científica

< VOLVER AL LISTADO

Detalles de la aportación al congreso

Publicación
Título: INTEGRATION OF INTERVAL LOGIC SPECIFICATIONS INTO THE MODEL CHECKING SPIN
Tipo de participación en la aportación: CONGRESO
Nombre del congreso: XII JORNADAS DE CONCURRENCIA Y SISTEMAS DISTRIBUIDOS () (.2004.LAS NAVAS DEL MARQUES (AVILA))
Fecha de celebración del congreso: 01/01/2004
Lugar de celebración del congreso: LAS NAVAS DEL MARQUES (AVILA)
Páginas de la publicación: 317 - 322
Año de publicación: 2004
Autores: MARIA MAR GALLARDO-MELGAREJO
MIGUEL JUAN HORNOS BARRANCO
JESUS MARTINEZ-CRUZ
PEDRO MERINO-GOMEZ

[Decargar BibTex]
Desarrollado por: