Sfoglia per Relatore ABATE, ALESSANDRO
Mostrati risultati da 1 a 1 di 1
Tipologia | Anno | Titolo | Titolo inglese | Autore | File |
---|---|---|---|---|---|
Lauree magistrali | 2024 | Probabilistic Omega-regular Verification via Lexicographic Parity Supermartingales | Probabilistic Omega-regular Verification via Lexicographic Parity Supermartingales | CONTRO, DANIEL EDUARDO |
Mostrati risultati da 1 a 1 di 1
Legenda icone
- file ad accesso aperto
- file ad accesso riservato
- file sotto embargo
- nessun file disponibile