PERON, ANNA
PERON, ANNA
DIREZIONE OFFERTA FORMATIVA, SERVIZI E SEGRETERIE STUDENTI
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.0 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Interval temporal logic model checking based on track bisimilarity and prefix sampling | 1-gen-2016 | Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, Anna; Sala, P. |