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 493

Total Visits Per Month

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

File Visits

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

Top country views

Views
United States 114
Russia 69
United Kingdom 53
China 47
South Korea 29
Ukraine 17
Philippines 9
Germany 7
Poland 6
India 5

Top cities views

Views
Moscow 68
Seoul 29
Hangzhou 21
Leicester 20
Mountain View 20
Washington 15
Cebu City 8
Woodbridge 8
Beijing 7
Shenzhen 5