- -

Statistics

RiuNet: Institutional repository of the Polithecnic University of Valencia

Statistics

Total Visits

Views
Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA 409

Total Visits Per Month

January 2020 February 2020 March 2020 April 2020 May 2020 June 2020 July 2020
Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA 7 2 0 5 3 1 1

File Visits

Views
Santiago - Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maud....pdf 268
resumen-ingles.pdf 25
indice.pdf 14
resumen-castellano.pdf 10
resumen-valenciano.pdf 5

Top country views

Views
United States 250
Spain 49
China 29
France 25
Germany 12
Singapore 7
Romania 4
Vietnam 4
United Kingdom 3
Peru 3

Top cities views

Views
Ashburn 150
Valencia 27
Boardman 11
Fremont 11
Changi 7
Villeurbanne 6
Grenoble 5
Guangzhou 4
Hanoi 4
Rioja 4