Sfoglia per Correlatore PRADELLA, MATTEO
Mostrati risultati da 1 a 1 di 1
| Fulltext | Data | Tipo | Titolo | Autore (i) |
|---|---|---|---|---|
| 2021-12-23 | Tesi di Dottorato | Temporal logic and model checking for operator precedence languages: theory and applications | CHIARI, MICHELE |
Mostrati risultati da 1 a 1 di 1
Legenda icone accesso al fulltext
- File accessibili da tutti
- File accessibili dagli utenti autorizzati
- File accessibili da tutti o solo dagli utenti autorizzati, a partire dalla la data indicata nella scheda
- File non accessibili