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
July 2025 0
August 2025 0
September 2025 0
October 2025 0
November 2025 0
December 2025 0
January 2026 0

File Visits

views
CAPL_JorgeSantos_2008_GECAD.pdf 162

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