Estatísticas para Monitoring of Spatio-Temporal Properties with Nonlinear SAT solvers
Total de visitas
| views | |
|---|---|
| Monitoring of Spatio-Temporal Properties with Nonlinear SAT solvers | 17 |
Total de visitas por mês
| views | |
|---|---|
| novembro 2025 | 2 |
| dezembro 2025 | 2 |
| janeiro 2026 | 2 |
| fevereiro 2026 | 0 |
| março 2026 | 0 |
| abril 2026 | 0 |
| maio 2026 | 1 |
Downloads
| views | |
|---|---|
| Monitoring_of_spatio-temporal_properties_with_nonlinear.pdf | 15 |
Top de consultas por país
| views | |
|---|---|
| Estados Unidos | 7 |
| Brasil | 2 |
| Portugal | 2 |
| Austrália | 1 |
| China | 1 |
| Egito | 1 |
| Reino Unido | 1 |
| Região desconhecida | 1 |