The Libraries will be performing routine maintenance on UWSpace on July 15th-16th, 2025. UWSpace will be available, though users may experience service lags during this time. We recommend all users avoid submitting new items to UWSpace until maintenance is completed.

Statistics for Temporal Logic Model Checking as Automated Theorem Proving

Total visits

views
Temporal Logic Model Checking as Automated Theorem Proving 104

Total visits per month

views
January 2025 2
February 2025 1
March 2025 0
April 2025 1
May 2025 1
June 2025 1
July 2025 1

File Visits

views
Vakili_Amirhossein.pdf 91
Vakili_Amirhossein.pdf(legacy) 30

Top country views

views
United States 44
Ireland 15
Singapore 6
South Korea 4
Canada 3
Netherlands 3
Hong Kong SAR China 2
Hungary 2
Russia 2
South Africa 2
Australia 1
China 1
Germany 1
Finland 1
France 1
Mexico 1

Top city views

views
Dublin 15
Springfield 8
Boardman 7
Boydton 6
Singapore 4
Ashburn 3
Clifton 3
Sandston 3
Budapest 2
Coeur d'Alene 2
Hong Kong 2
Kortenhoef 2
Pohang 2
Pretoria 2
Prineville 2
Amsterdam 1
Azcapotzalco 1
Brantford 1
Broomfield 1
Fort Worth 1
Helsinki 1
Montreal 1
Santa Clara 1
Seattle 1
Surrey 1
Sydney 1
Tokyo 1
Washington 1