Statistics for Formal Techniques for Realizability Checking and Synthesis of Infinite-State Reactive Systems
Total visits
| views | |
|---|---|
| Formal Techniques for Realizability Checking and Synthesis of Infinite-State Reactive Systems | 164 |
Total visits per month
| views | |
|---|---|
| January 2024 | 3 |
| February 2024 | 0 |
| March 2024 | 3 |
| April 2024 | 3 |
| May 2024 | 3 |
| June 2024 | 0 |
| July 2024 | 0 |
File Visits
| views | |
|---|---|
| Katis_umn_0130E_21574.pdf | 260 |
Top country views
| views | |
|---|---|
| China | 69 |
| United States | 45 |
| Germany | 11 |
| India | 6 |
| Turkey | 5 |
| Hong Kong SAR China | 4 |
| Sweden | 3 |
| Canada | 2 |
| South Korea | 2 |
| Singapore | 2 |
| Argentina | 1 |
| United Kingdom | 1 |
| Indonesia | 1 |
| Ireland | 1 |
| Netherlands | 1 |
| Peru | 1 |
| Philippines | 1 |
| Poland | 1 |
| Russia | 1 |
| Taiwan | 1 |
Top city views
| views | |
|---|---|
| Ashburn | 10 |
| Hangzhou | 10 |
| Minneapolis | 6 |
| Beijing | 4 |
| Boydton | 4 |
| Boardman | 3 |
| Ankara | 2 |
| Bellevue | 2 |
| Chongqing | 2 |
| Dalian | 2 |
| Elâzığ | 2 |
| Jinan | 2 |
| Karlsruhe | 2 |
| Mumbai | 2 |
| Putian | 2 |
| Stanford | 2 |
| Suzhou | 2 |
| Tallahassee | 2 |
| Yancheng | 2 |
| Bandhagen | 1 |
| Busan | 1 |
| Cedar Rapids | 1 |
| Changzhou | 1 |
| Chicago | 1 |
| Coimbatore | 1 |
| Cricklewood | 1 |
| Des Moines | 1 |
| Dongguan | 1 |
| Dublin | 1 |
| Gothenburg | 1 |
| Hefei | 1 |
| Huangshi | 1 |
| Iowa City | 1 |
| Istanbul | 1 |
| Jakarta | 1 |
| Jiaxing | 1 |
| Kamloops | 1 |
| Koblenz | 1 |
| Lima | 1 |
| Miami | 1 |
| Munich | 1 |
| Nanjing | 1 |
| Ningbo | 1 |
| Ningde | 1 |
| Quanzhou | 1 |
| Saarbrücken | 1 |
| Santa Cruz | 1 |
| Singapore | 1 |
| Taichung | 1 |
| Taizhou | 1 |
| The Hague | 1 |
| Tianjin | 1 |
| Trollhättan | 1 |
| Vladivostok | 1 |
| Wuhan | 1 |
| Wuhu | 1 |
| Xi'an | 1 |
| Xiamen | 1 |
| Zhangzhou | 1 |
| Zhengzhou | 1 |