Estatísticas
Geração de contraexemplos e testemunhas para um verificador de modelos descritos em redes de autômatos estocásticos
- 840 Total de visitas
Total de visitas por mês
| Outubro 2023 | Novembro 2023 | Dezembro 2023 | Janeiro 2024 | Fevereiro 2024 | Março 2024 | Abril 2024 |
|---|---|---|---|---|---|---|
| 12 | 20 | 12 | 11 | 14 | 13 | 9 |
Download de arquivos
| Nome do arquivo | Quantidade de downloads |
|---|---|
| 449321.pdf | 410 |