- -

Estadísticas

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

Estadísticas

Número total de visitas

Visualizaciones
Protocol analysis modulo combination of theories: A case study in Maude-NPA 250

Visitas al mes

octubre 2023 noviembre 2023 diciembre 2023 enero 2024 febrero 2024 marzo 2024 abril 2024
Protocol analysis modulo combination of theories: A case study in Maude-NPA 0 0 6 5 2 12 4

Visitas al fichero

Visualizaciones
Sasse, R.; Escobar Román, S.; Meadows, C.; Meseguer, J. Protocol Analysis Modulo Combination of Theories..pdf 423
Sasse, R.; Escobar Román, S.; Meadows, C.; Meseguer, J. Protocol Analysis Modulo Combination of Theories..pdf.jpg 60
Protocol Analysis Modulo Combination of Theories.pdf 2
Ralf;Escobar;Catherine Meadows - Protocol Analysis Modulo Combination of Theories: A Case Study i....png 1
Protocol Analysis Modulo Combination of Theories.pdf 1

Países con más visualizaciones

Visualizaciones
Estados Unidos 148
Alemania 21
Francia 20
España 19
China 18
Irlanda 5
Vietnam 4
Finlandia 2
Grecia 2
México 2

Ciudades con más visualizaciones

Visualizaciones
Ashburn 47
San Mateo 16
Redmond 15
Valencia 13
Mountain View 8
Louisville 6
San Diego 6
Villeurbanne 6
Alameda 5
Dublin 5