Statistics

Total Visits

Views
External memory algorithms for state space exploration in model checking and action planning 295

Total Visits per Month

March 2017 April 2017 May 2017 June 2017 July 2017 August 2017 September 2017
External memory algorithms for state space exploration in model checking and action planning 5 3 10 5 7 8 13

File Downloads

Views
Dissertation_Jabbar.pdf 1383
abstract.pdf 101

Top Country Views

Views
United States 93
Germany 74
China 44
Russia 18
France 17
Turkey 12
Sweden 11
United Kingdom 5
Netherlands 4
Austria 3

Top City Views

Views
Beijing 35
Frankfurt Am Main 26
Sunnyvale 22
Wilmington 17
Ann Arbor 16
Istanbul 12
Palo Alto 8
Ashburn 6
Absecon 4
Hagen 4