Repository logo

Statistics for The verification of temporal KBS: SPARSE - a case study in power systems

Total visits

views
The verification of temporal KBS: SPARSE - a case study in power systems 78

Total visits per month

views
December 2024 3
January 2025 2
February 2025 0
March 2025 0
April 2025 0
May 2025 0
June 2025 0

File Visits

views
CAPL_JorgeSantos_2008_GECAD.pdf(legacy) 137
CAPL_JorgeSantos_2008_GECAD.pdf 8

Top country views

views
United States 30
Portugal 13
Russia 11
China 5
Australia 3
Ireland 3
Ukraine 3
Canada 2
United Kingdom 2
Brazil 1
Germany 1
Algeria 1
Italy 1