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 659

Total Visits Per Month

July 2017 August 2017 September 2017 October 2017 November 2017 December 2017 January 2018
Using PVS for Interval Temporal Logic proofs, part 1: The syntactic and semantic encoding 10 4 6 10 21 6 9

File Visits

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

Top country views

Views
United States 164
Russia 71
United Kingdom 68
China 47
Germany 34
South Korea 32
Poland 23
Ukraine 18
France 10
Philippines 9

Top cities views

Views
Moscow 68
Seoul 30
Hangzhou 21
Leicester 21
Mountain View 20
Kraków 18
Washington 15
Cebu City 8
Houston 8
Wilmington 8