|
Descripción
|
|
|---|---|
| 0 | |
|
Internacional
|
Si |
|
JCR del ISI
|
Si |
|
Título de la revista
|
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014) |
|
ISSN
|
0302-9743 |
|
Factor de impacto JCR
|
0 |
|
Información de impacto
|
|
|
Volumen
|
8981 |
|
DOI
|
10.1007/978-3-319-17822-6_18 |
|
Número de revista
|
|
|
Desde la página
|
317 |
|
Hasta la página
|
331 |
|
Mes
|
|
|
Ranking
|
0 |