- -

Estadísticas

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Estadísticas

Número total de visitas

Visualizaciones
Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA 693

Visitas al mes

octubre 2023 noviembre 2023 diciembre 2023 enero 2024 febrero 2024 marzo 2024 abril 2024
Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA 14 6 10 6 13 8 9

Visitas al fichero

Visualizaciones
Santiago - Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maud....pdf 672
resumen-ingles.pdf 65
indice.pdf 52
resumen-castellano.pdf 49
resumen-valenciano.pdf 39

Países con más visualizaciones

Visualizaciones
Estados Unidos 317
España 99
China 47
Francia 34
Irlanda 34
Alemania 21
Rusia 19
Suecia 9
Canadá 8
Singapur 8

Ciudades con más visualizaciones

Visualizaciones
Ashburn 169
Valencia 39
Dublin 32
Boardman 11
Fremont 11
Beijing 9
Changi 7
Grenoble 7
Mountain View 7
Houston 6