Statistics

Statistics

Total Visits

Views
Parameterised three-valued model checking 282

Total Visits Per Month

June 2018 July 2018 August 2018 September 2018 October 2018 November 2018 December 2018
Parameterised three-valued model checking 7 14 32 3 3 13 2

File Visits

Views
Timm_Parameterised_2015.pdf 225

Top country views

Views
China 97
France 60
United States 54
South Africa 35
Germany 13
United Kingdom 6
Senegal 5
Canada 3
Netherlands 3
Russia 2

Top cities views

Views
Shenzhen 93
Pretoria 30
Ashburn 20
Ann Arbor 7
Fremont 4
Houston 4
Mountain View 4
Southend 4
Sunnyvale 4
Johannesburg 3