Statistics

Statistics

Total Visits

Views
Parameterised three-valued model checking 288

Total Visits Per Month

August 2018 September 2018 October 2018 November 2018 December 2018 January 2019 February 2019
Parameterised three-valued model checking 32 3 3 13 2 3 3

File Visits

Views
Timm_Parameterised_2015.pdf 228

Top country views

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

Top cities views

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