Statistics for Model checking nekonečně stavových systémů založený na inferenci jazyků
Total visits
views | |
---|---|
Model checking nekonečně stavových systémů založený na inferenci jazyků | 67 |
Total visits per month
views | |
---|---|
November 2023 | 7 |
December 2023 | 0 |
January 2024 | 0 |
February 2024 | 0 |
March 2024 | 0 |
April 2024 | 0 |
May 2024 | 0 |
File Visits
views | |
---|---|
review_15197.html(legacy) | 29 |
null(legacy) | 14 |
final-thesis.pdf(legacy) | 10 |
final-thesis.pdf | 10 |
review_15197.html | 2 |
Top country views
views | |
---|---|
United States | 40 |
China | 10 |
Czechia | 6 |
Belgium | 2 |
Canada | 2 |
Germany | 1 |
South Korea | 1 |
Sweden | 1 |
Turkey | 1 |
Top city views
views | |
---|---|
Oakland | 11 |
Mountain View | 5 |
Zhengzhou | 5 |
Ceska | 4 |
Fairfield | 3 |
Hangzhou | 2 |
Ottawa | 2 |
Zaventem | 2 |
Ashburn | 1 |
Cambridge | 1 |
Chaoyang | 1 |
Hradec Kralove | 1 |
Langfang | 1 |
Redmond | 1 |
Xian | 1 |