- -

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 340

Total Visits Per Month

February 2019 March 2019 April 2019 May 2019 June 2019 July 2019 August 2019
Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA 17 11 18 38 20 17 3

File Visits

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

Top country views

Views
United States 209
Spain 45
France 24
China 22
Germany 9
Vietnam 4
United Kingdom 3
Romania 3
United Arab Emirates 2
Canada 2

Top cities views

Views
Ashburn 121
Valencia 26
Boardman 11
Fremont 11
Villeurbanne 6
Grenoble 4
Guangzhou 4
Hanoi 4
Rioja 4
Beijing 3