Statistics

Total Visits

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

Total Visits Per Month

October 2014 November 2014 December 2014 January 2015 February 2015 March 2015 April 2015
Using theorem proving and algorithmic decision procedures for large-scale system verification 15 13 13 13 12 15 6

File Visits

Views
rays14658.pdf 237
license.txt 4

Top country views

Views
United States of America 228
China 145
Japan 33
France 19
Russian Federation 10
Netherlands 9
United Kingdom 8
Korea 6
Ukraine 4
Czech Republic 1

Top cities views

Views
Tianjin 50
Beijing 43
Miami 41
Ashburn 36
Woodbridge 35
Redwood City 19
Wuhan 14
Beverly Hills 12
Austin 10
Santa Clara 10


Advanced Search

Browse

My Account

Statistics

Information
http://repositories.lib.utexas.edu/handle/2152/2286/statistics
repositories.lib.utexas.edu
crawl=CC-MAIN-2015-18
20245
application/http; msgtype=response
sha1:OA4XINMMROPH5OY6Y5KJY3UNHFD4554T
<urn:uuid:3f09f9d0-6dd6-4e51-ab56-b0509ddee068>
2015-04-25T16:22:36Z
128.83.63.43
sha1:JY46BHWDTQCVH7MEC34DDAMZ2F6I5QCD
<urn:uuid:908f659c-ad87-46c1-a2da-fbe9207c6a8d>
http://repositories.lib.utexas.edu/handle/2152/2286/statistics
response
<urn:uuid:b013abdb-6b94-4a3e-aa77-d6c2d077b3fa>
robots: classic
hostname: ip-10-235-10-82.ec2.internal
software: Nutch 1.6 (CC)/CC WarcExport 1.0
isPartOf: CC-MAIN-2015-18
operator: CommonCrawl Admin
description: Wide crawl of the web for April 2015
publisher: CommonCrawl
format: WARC File Format 1.0
conformsTo: http://bibnum.bnf.fr/WARC/WARC_ISO_28500_version1_latestdraft.pdf