Statistics

Total Visits

Views
Advances in space and time efficient model checking of finite state systems / Atanas Nikolaev Parashkevov.(legacy) 100
Advances in space and time efficient model checking of finite state systems / Atanas Nikolaev Parashkevov.(legacy) 35

Total Visits per Month

September 2023 October 2023 November 2023 December 2023 January 2024 February 2024 March 2024
Advances in space and time efficient model checking of finite state systems / Atanas Nikolaev Parashkevov. 4 0 0 0 2 2 0

File Downloads

Views
02whole.pdf(legacy) 50
02whole.pdf 40
01front.pdf(legacy) 40
01front.pdf 7

Top Country Views

Views
Australia 29
Germany 15
China 10
Netherlands 8
United States 8
France 6
Vietnam 6
Romania 1
Russia 1
Taiwan 1

Top City Views

Views
Kaleen 20
Rotterdam 8
Hanoi 6
Boardman 4
Adelaide CBD 3
Beijing 3
Southport 3
Toulouse 3
N├╝rnberg 2
Changsha 1