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_17 |
Número de revista
|
|
Desde la página
|
299 |
Hasta la página
|
316 |
Mes
|
|
Ranking
|
0 |