- -

Estadísticas

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

Estadísticas

Número total de visitas

Visualizaciones
An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA 77

Visitas al mes

julio 2024 agosto 2024 septiembre 2024 octubre 2024 noviembre 2024 diciembre 2024 enero 2025
An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA 0 0 0 0 0 0 2

Visitas al fichero

Visualizaciones
Aparicio-SanchezEscobarGutierrez - An Optimizing Protocol Transformation for Constructor Finite V....pdf 130

Países con más visualizaciones

Visualizaciones
Estados Unidos 44
Reino Unido 9
Canadá 5
España 5
Alemania 3
Francia 3
China 2
Chequia 2
Suiza 1
Finlandia 1

Ciudades con más visualizaciones

Visualizaciones
Alameda 5
Toronto 5
Houston 4
Mountain View 4
Grenoble 3
Summerfield 3
Albacete 2
Chicago 2
Glens Falls 2
Huddersfield 2