Estatísticas
Geração de contraexemplos e testemunhas para um verificador de modelos descritos em redes de autômatos estocásticos
- 922 Total de visitas
Total de visitas por mês
| Abril 2024 | Maio 2024 | Junho 2024 | Julho 2024 | Agosto 2024 | Setembro 2024 | Outubro 2024 |
|---|---|---|---|---|---|---|
| 12 | 19 | 17 | 18 | 3 | 13 | 9 |
Download de arquivos
| Nome do arquivo | Quantidade de downloads |
|---|---|
| 449321.pdf | 454 |