Sfoglia per Autore
Mostrati risultati da 1 a 1 di 1
| Tipologia | Anno | Titolo | Titolo inglese | Autore | File |
|---|---|---|---|---|---|
| Lauree triennali | 2023 | LTL su tracce finite per la verifica e la sintesi automatica di sistemi | LTL over finite traces for automatic system verification and synthesis | PIANTA, GIANLUCA |
Mostrati risultati da 1 a 1 di 1
Legenda icone
- file ad accesso aperto
- file ad accesso riservato
- file sotto embargo
- nessun file disponibile