Statistics for Model Checking Temporal Logic Formulas Using Sticker Automata
Total visits
| views | |
|---|---|
| Model Checking Temporal Logic Formulas Using Sticker Automata | 264 |
Total visits per month
| views | |
|---|---|
| December 2024 | 0 |
| January 2025 | 1 |
| February 2025 | 0 |
| March 2025 | 0 |
| April 2025 | 0 |
| May 2025 | 0 |
| June 2025 | 0 |
File Visits
| views | |
|---|---|
| BMRI2017-7941845.pdf | 223 |
| java.util.UUID:ea4df017-2ead-4d0a-bdc4-7e71f024e4c6 | 27 |
| java.util.UUID:93ac17a2-6624-4ba0-a267-1df406a93bca | 5 |
Top country views
| views | |
|---|---|
| United States | 194 |
| Germany | 19 |
| United Kingdom | 6 |
| Ukraine | 6 |
| Russia | 4 |
| Canada | 3 |
| China | 2 |
| France | 1 |
| Greece | 1 |
| India | 1 |
| Italy | 1 |
| Malaysia | 1 |
Top city views
| views | |
|---|---|
| Wilmington | 50 |
| Fairfield | 35 |
| Ann Arbor | 23 |
| Houston | 21 |
| Kiez | 15 |
| Cambridge | 10 |
| Jacksonville | 7 |
| Kiev | 5 |
| Saint Petersburg | 4 |
| Gunzenhausen | 3 |
| Lake Mary | 3 |
| Toronto | 3 |
| Washington | 3 |
| Chicago | 2 |
| Concord | 2 |
| San Francisco | 2 |
| Warrington | 2 |
| Athens | 1 |
| Baltimore | 1 |
| Beijing | 1 |
| Brooklyn | 1 |
| Faridabad | 1 |
| Genova | 1 |
| Kharkov | 1 |
| London | 1 |
| Nürnberg | 1 |
| Overland Park | 1 |
| Philadelphia | 1 |
| Roubaix | 1 |
| Scottsdale | 1 |
| Seattle | 1 |
| Seremban | 1 |