español
español
English
français
español
English
français
Estadísticas
DIGIBUG Principal
1.-Investigación
Departamentos, Grupos de Investigación e Institutos
Grupo: GEDES. Especificación, Desarrollo y Evolución de Software (TIC164)
TIC164 - Informes
Estadísticas
DIGIBUG Principal
1.-Investigación
Departamentos, Grupos de Investigación e Institutos
Grupo: GEDES. Especificación, Desarrollo y Evolución de Software (TIC164)
TIC164 - Informes
Estadísticas
Cambiar navegación
JavaScript is disabled for your browser. Some features of this site may not work without it.
Estadísticas
Número total de visitas
Visualizaciones
Installation ...(legacy)
552
Installation ...
339
Visitas al fichero
Descargas
Installation process and main functionalities of the Spin model checker.pdf
4654
Installation process and main functionalities of the Spin model checker.pdf(legacy)
2409
Installation process and main functionalities of the Spin model checker.pdf(legacy)
1361
Seleccione un intervalo de tiempo:
Mes anterior
6 meses anteriores
Año anterior
5 Años anteriores
Visualizaciones
Descargas
Número de visitas en el intervalo
Visualizaciones
Installation ...
39
Número de descargas en el intervalo
Descargas
Installation process and main functionalities of the Spin model checker.pdf
276
Visitas
Visitas
octubre 2023
6
noviembre 2023
2
diciembre 2023
4
enero 2024
15
febrero 2024
2
marzo 2024
3
abril 2024
7
Número de descargas en el intervalo
Descargas
octubre 2023
27
noviembre 2023
85
diciembre 2023
76
enero 2024
20
febrero 2024
17
marzo 2024
26
abril 2024
25
Países con más visualizaciones
Visualizaciones
Estados Unidos
9
Irlanda
9
China
6
Alemania
3
Francia
2
España
2
Austria
1
Chequia
1
Finlandia
1
Reino Unido
1
Países con más descargas
Descargas
Estados Unidos
30
España
18
Alemania
12
Francia
8
Irlanda
7
Chequia
6
Reino Unido
5
Finlandia
2
Austria
1
China
1
Ciudades con más visualizaciones
Visualizaciones
Dublin
9
Shanghai
3
Fremont
2
Granada
2
Boardman
2
Berlin
1
Delft
1
Helsinki
1
Nam Định
1
Philadelphia
1
Ciudades con más descargas
Descargas
Dublin
4
Helsinki
2
Shanghai
1
Nam Định
1
Philadelphia
1
Buscar en DIGIBUG
Esta colección
Mi cuenta
Acceder
Registro
Listar
Todo DIGIBUG
Comunidades y Colecciones
Por fecha de publicación
Autores
Títulos
Materia
Financiación
Perfil de autor UGR
Esta colección
Por fecha de publicación
Autores
Títulos
Materia
Financiación
Estadísticas
Ver Estadísticas de uso
Servicios
Pasos para autoarchivo
Ayuda
Licencias Creative Commons
SHERPA/RoMEO
Dulcinea
Biblioteca Universitaria
Nos puedes encontrar a través de
Condiciones legales