- -

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 363

Total Visits Per Month

April 2019 May 2019 June 2019 July 2019 August 2019 September 2019 October 2019
Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA 18 38 20 17 7 10 9

File Visits

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

Top country views

Views
United States 226
Spain 46
France 24
China 22
Germany 9
Vietnam 4
United Kingdom 3
Peru 3
Romania 3
United Arab Emirates 2

Top cities views

Views
Ashburn 134
Valencia 27
Boardman 11
Fremont 11
Villeurbanne 6
Grenoble 4
Guangzhou 4
Hanoi 4
Rioja 4
Beijing 3