- -

Statistics

RiuNet: Institutional repository of the Polithecnic University of Valencia

Statistics

Total Visits

Views
Abstract Diagnosis for tccp using a Linear Temporal Logic 391

Total Visits Per Month

October 2023 November 2023 December 2023 January 2024 February 2024 March 2024 April 2024
Abstract Diagnosis for tccp using a Linear Temporal Logic 2 0 7 8 4 2 0

File Visits

Views
AbsDiagCLTL-techrep.pdf 387
AbsDiagCLTL-techrep.pdf.jpg 235
AbsDiagCLTL-techrep.pdf.txt 1

Top country views

Views
United States 137
Germany 49
China 48
Spain 42
Sweden 41
France 17
Ireland 14
Finland 7
Italy 5
Russia 4

Top cities views

Views
Ashburn 40
Valencia 25
Beijing 15
Dublin 14
Redmond 13
Boardman 11
Alameda 8
Louisville 8
Hangzhou 7
San Francisco 7