- -

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 715

Visitas al mes

marzo 2024 abril 2024 mayo 2024 junio 2024 julio 2024 agosto 2024 septiembre 2024
Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA 8 11 3 4 6 3 4

Visitas al fichero

Visualizaciones
Santiago - Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maud....pdf 729
resumen-ingles.pdf 79
indice.pdf 66
resumen-castellano.pdf 61
resumen-valenciano.pdf 52

Países con más visualizaciones

Visualizaciones
Estados Unidos 331
España 101
China 48
Francia 35
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 13
Fremont 11
Beijing 10
Mountain View 8
Changi 7
Grenoble 7
Houston 6