Statistics

Total Visits

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

Total Visits per Month

May 2017 June 2017 July 2017 August 2017 September 2017 October 2017 November 2017
External memory algorithms for state space exploration in model checking and action planning 10 5 7 8 15 11 6

File Downloads

Views
Dissertation_Jabbar.pdf 1404
abstract.pdf 108

Top Country Views

Views
United States 107
Germany 77
China 45
Russia 18
France 17
Turkey 12
Sweden 11
United Kingdom 6
Netherlands 4
Austria 3

Top City Views

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