- -

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 84

Visitas al mes

mayo 2024 junio 2024 julio 2024 agosto 2024 septiembre 2024 octubre 2024 noviembre 2024
An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA 0 1 1 2 5 1 0

Visitas al fichero

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

Países con más visualizaciones

Visualizaciones
Estados Unidos 47
Reino Unido 9
Canadá 5
España 5
Bélgica 3
Alemania 3
Francia 3
China 2
Chequia 2
Australia 1

Ciudades con más visualizaciones

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