- -

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 316

Total Visits Per Month

December 2018 January 2019 February 2019 March 2019 April 2019 May 2019 June 2019
Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA 5 19 17 11 18 38 16

File Visits

Views
Santiago - Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maud....pdf 183
resumen-ingles.pdf 24
indice.pdf 13
resumen-castellano.pdf 9
6
resumen-valenciano.pdf 4
1
1
1
1

Top country views

Views
United States 194
Spain 42
France 23
China 17
Germany 9
Vietnam 4
United Kingdom 3
Romania 3
United Arab Emirates 2
Canada 2

Top cities views

Views
Ashburn 111
Valencia 24
Boardman 11
Fremont 11
Villeurbanne 6
Grenoble 4
Guangzhou 4
Hanoi 4
Rioja 4
Beijing 3