Statistics

De Montfort University Open Research Archive

Statistics

Total Visits

Views
Using PVS for Interval Temporal Logic proofs, part 1: The syntactic and semantic encoding 588

Total Visits Per Month

November 2016 December 2016 January 2017 February 2017 March 2017 April 2017 May 2017
Using PVS for Interval Temporal Logic proofs, part 1: The syntactic and semantic encoding 2 2 6 2 4 3 10

File Visits

Views
pvsitl-i.pdf 238
pvsitl-i.pdf.txt 6
license.txt 4

Top country views

Views
United States 134
Russia 69
United Kingdom 61
China 47
South Korea 31
Germany 26
Ukraine 18
Poland 17
Philippines 9
Netherlands 7

Top cities views

Views
Moscow 68
Seoul 30
Hangzhou 21
Leicester 21
Mountain View 20
Washington 15
Kraków 13
Cebu City 8
Woodbridge 8
Beijing 7