Statistics for Formal verification of asynchronous systems
Total visits
| views | |
|---|---|
| Formal verification of asynchronous systems | 256 |
Total visits per month
| views | |
|---|---|
| November 2024 | 0 |
| December 2024 | 0 |
| January 2025 | 0 |
| February 2025 | 0 |
| March 2025 | 7 |
| April 2025 | 0 |
| May 2025 | 0 |
File Visits
| views | |
|---|---|
| Rahardjo_Formal_verification.pdf | 463 |
Top country views
| views | |
|---|---|
| United States | 76 |
| Germany | 32 |
| China | 24 |
| Canada | 23 |
| Indonesia | 19 |
| Ireland | 13 |
| Finland | 5 |
| United Kingdom | 5 |
| Sweden | 5 |
| Greece | 4 |
| Hong Kong SAR China | 3 |
| Japan | 3 |
| Singapore | 3 |
| France | 2 |
| Russia | 2 |
| Vietnam | 2 |
| Cyprus | 1 |
| India | 1 |
| Malaysia | 1 |
| Netherlands | 1 |
| Taiwan | 1 |
Top city views
| views | |
|---|---|
| Winnipeg | 23 |
| Ashburn | 21 |
| Dublin | 13 |
| Inglewood | 10 |
| Beijing | 8 |
| Jakarta | 8 |
| Sukabumi | 7 |
| Zhengzhou | 7 |
| Helsinki | 3 |
| Los Angeles | 3 |
| Volos | 3 |
| Boardman | 2 |
| Burton-on-Trent | 2 |
| Hanoi | 2 |
| Landshut | 2 |
| Offenburg | 2 |
| Shanghai | 2 |
| Shibuya | 2 |
| Stockholm | 2 |
| Taiyuan | 2 |
| Yogyakarta | 2 |
| Athens | 1 |
| Bandung | 1 |
| Bantul | 1 |
| Central | 1 |
| Des Moines | 1 |
| Frankfurt am Main | 1 |
| Heidelberg | 1 |
| Hong Kong | 1 |
| London | 1 |
| Lucknow | 1 |
| Mannheim | 1 |
| Milpitas | 1 |
| Monroeville | 1 |
| Morlenbach | 1 |
| Mudau | 1 |
| Nagold | 1 |
| Scherpenzeel | 1 |
| Schwann | 1 |
| Seattle | 1 |
| Shah Alam | 1 |
| Singapore | 1 |
| Taichung | 1 |
| Toshima | 1 |
| Tuen Mun | 1 |