Statistics

Total Visits

Views
Using theorem proving and algorithmic decision procedures for large-scale system verification 340

Total Visits Per Month

October 2013 November 2013 December 2013 January 2014 February 2014 March 2014 April 2014
Using theorem proving and algorithmic decision procedures for large-scale system verification 7 4 8 1 4 8 7

File Visits

Views
rays14658.pdf 177
license.txt 4

Top country views

Views
United States of America 145
China 117
Japan 33
Russian Federation 10
United Kingdom 8
France 6
Ukraine 4
Netherlands 3
Czech Republic 1
Hong Kong 1

Top cities views

Views
Tianjin 49
Miami 41
Beijing 19
Redwood City 17
Wuhan 14
Austin 10
Beverly Hills 10
Santa Clara 10
Milton Keynes 8
Ashburn 7


Advanced Search

Browse

My Account

Statistics

Information