- -

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 706

Visitas al mes

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

Visitas al fichero

Visualizaciones
Santiago - Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maud....pdf 688
resumen-ingles.pdf 69
indice.pdf 58
resumen-castellano.pdf 53
resumen-valenciano.pdf 43

Países con más visualizaciones

Visualizaciones
Estados Unidos 324
España 101
China 48
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 12
Fremont 11
Beijing 10
Changi 7
Grenoble 7
Mountain View 7
Houston 6