- -

Statistics

RiuNet: Institutional repository of the Polithecnic University of Valencia

Statistics

Total Visits

Views
Abstract Diagnosis for tccp using a Linear Temporal Logic 295

Total Visits Per Month

April 2020 May 2020 June 2020 July 2020 August 2020 September 2020 October 2020
Abstract Diagnosis for tccp using a Linear Temporal Logic 0 1 1 3 0 4 1

File Visits

Views
AbsDiagCLTL-AuthorVersion-Riunet.pdf 189
MARCO COMINI;Titolo;Villanueva - Abstract Diagnosis for tccp using a Linear Temporal Logic.pdf 3

Top country views

Views
United States 163
France 38
China 27
Spain 23
Germany 19
Canada 5
Finland 3
Netherlands 3
Russia 3
Romania 2

Top cities views

Views
Ashburn 64
Beijing 13
Fremont 12
Seattle 9
Mountain View 7
Valencia 6
Villeurbanne 6
Los Angeles 5
Chantilly 3
Guangzhou 3