Estatísticas para Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols
Total de visitas
| views | |
|---|---|
| Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols | 19 |
Total de visitas por mês
| views | |
|---|---|
| outubro 2025 | 3 |
| novembro 2025 | 1 |
| dezembro 2025 | 1 |
| janeiro 2026 | 0 |
| fevereiro 2026 | 0 |
| março 2026 | 0 |
| abril 2026 | 1 |
Downloads
| views | |
|---|---|
| Verifying_Reliable_Network_Components.pdf | 16 |
Top de consultas por país
| views | |
|---|---|
| Estados Unidos | 7 |
| Brasil | 2 |
| Canadá | 1 |
| Costa Rica | 1 |
| Curaçau | 1 |
| Equador | 1 |
| Iraque | 1 |
| Usbequistão | 1 |
| Vietname | 1 |
| Região desconhecida | 1 |
Top de consultas por cidade
| views | |
|---|---|
| Santa Clara | 1 |